Az MTA köztestületének tagjai

PhD 2009

Szakterület Formális módszerek
Matematikai Tudományok Osztálya

Foglalkozás Adjunktus

Kutatási téma

• Formális helyességbizonyítás
• Párhuzamos és elosztott programozás
• Programozási nyelvek

Publikációk Tejfel Máté publikációs listája

Szervezeti tagságok

• Informatika- és Számítástudományi Bizottság

Elérhetőségek

• Eötvös Loránd Tudományegyetem
  Informatikai Kar
  Programozási Nyelvek és Fordítóprogramok Tanszék
  1117 Budapest, Pázmány Péter sétány 1/C
  Magyarország
  Tel.: +36 1 3722500 / 8484
  Email: matej@inf.elte.hu