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:
habilitált egyetemi docens
Oktatott tárgyak:
-
Logika
- Osztott rendszerek specifikációja és implementációja
- Python
Kutatási területek:
- helyességbizonyítás
- statikus elemzés
- alkalmazásiterület-specifikus nyelvek (pl. P4 nyelv)
Elérési lehetőségek:
iroda:
2.616-os szoba (Déli épület)
telefon: (+36)(1) 2090555 / 8305
telefax:
(+36)(1) 3812140
email: matej@inf.elte.hu
cím:
Budapest 1117, ELTE IK, PNYF Tanszék , Pázmány Péter sétány 1/C