Általános | Önéletrajz | Publikációk | Tárgyak | angol zászlóIn English

 

Önéletrajz

 

1972.

Matematikus (programtervező) diploma, József Attila Tudományegyetem, Szeged

1972-1975.

INFELOR" Rendszertechnikai Vállalat programtervező

1976-1983.

SZÁMKI, SZÁMALK jogutódok tudományos munkatárs

1982.

Matematika tudomány kandidátusa

1983. február 1.

ELTE, TTK számítástechnikai főmunkatárs

1993.

Egyetemi docens

1996-2003.

Tanszékvezető, Eötvös Loránd Tudományegyetem
Természettudományi Kar Informatikai Tanszékcsoport Általános Számítástudományi Tanszék

1997-2001.

Tanszékcsoport-vezető, ELTE TTK Informatikai Tanszékcsoport

2001-2003.

ELTE TTK gazdasági és műszaki dékánhelyettes

2002.

Neumann János díj

2003.

Habilitáció

2003.

Pro Universitate Emlékérem, Gábor Dénes Emlékérem

2003. szeptember 1.

Dékán, ELTE Informatikai Kar

 

Oktatási és kutatási területei:

 

Objektum-orientált programozás elméleti és gyakorlati kérdései, párhuzamos programozás problémái, programozási nyelvek szemantikája, temporális logikák és alkalmazásaik.



A vezetése alatt készült/készülő PhD disszertációk:

 

[1]

Ulbert Attila: Testreszabható szemantikus elemek és szemantikus kiterjesztések objektum-orientált elosztott rendszerekben, védett 2004-ben.

 

[2]

Szlávi Péter: A programkészítés didaktikus kérdései, védett 2005-ben.

 

[3]

Hajdara Szabolcs: Konkurens objektumokból álló rendszerek szintézise, védett 2008-ban

 

[4]

Ugron Balázs: Helyes pipe-line rendszerek generálása temporális logikai specifikációkból, védett 2008-ban.