Workplace:
Department of Programming Languages and Compilers
Faculty of Informatics
Eötvös Loránd University
Qualification:
M.Sc. in Computer Science
Ph.D. in Informatics
Position:
associate professor
Subjects I teach:
- Specification and Implementation of Distributed Systems
- Analysis of Ditributed Systems
- Mathematical Logic
- Python
Research interest:
- verification
- static analysis
- domain specific languages (e.g. P4 language)
CV:
contact:
office:
room 2.616 (Southern Building)
telephone:
(+36)(1) 2090555 / 8305
telefax:
(+36)(1) 3812140
email:
matej@inf.elte.hu
address:
Pázmány Péter sétány 1/C,
ELTE IK, PNYF.,
Budapest 1117, Hungary