English
Magyar
Milán Mondok
PhD student
Contact information
Room:
IL405
Office:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IL405
Phone:
+36 1 463-
Fax:
+36 1 463-4112
Email:
mondok (*) mit * bme * hu
Personal Web page:
http://home.mit.bme.hu/~mondok/indexe.html Introduction
Milán Mondok is a PhD student in computer science at the Budapest University of Technology and Economics, with an interest in critical systems and formal verification. He is an active contributor of the Theta open source model checking framework. He primarily does research on the formal verification of SysML system models and recently the verification of blockchain applications.
Research
PhD topic:
Efficient formal verification of heterogeneous system models 
