Munkahely:
Programozási Nyelvek és Fordítóprogramok Tanszék
Informatikai Kar
Eötvös Loránd Tudományegyetem
Képzettség:
programtervező matematikus
(egyetemi diploma, Eötvös Loránd Tudományegyetem)
Informatika PhD
Beosztás:
adjunktus
Oktatott tárgyak:
-
Párhuzamos Programozás (gyakorlat, 1998 óta)
- Párhuzamos Folyamatok I-II. (előadás, 2004 óta)
- Logikai alapok a programozáshoz (gyakorlat, 2004 óta)
Kutatási területek:
- funkcionális programozás
- helyességbizonyítás
- párhuzamos programozás
Résztvétel projektekben:
- OTKA T37742:
Elosztott funkcionális programok helyessége, 2002-2005.
- Kiterjesztett
Sparkle változat
Elérési lehetőségek:
iroda:
2.606-os szoba (Déli épület)
telefon: (+36)(1) 2090555 / 8487
telefax:
(+36)(1) 3812140
email: matej@caesar.elte.hu
cím:
Budapest 1117, ELTE IK, PNYF Tanszék , Pázmány Péter sétány 1/C
