Milán Mondok
Research Assistant at Budapest University of Technology and Economics
Budapest Metropolitan Area Hungary
Summary
👤
Senior🎓
Top SchoolMilán Mondok is a PhD student and research assistant at Budapest University of Technology and Economics with nine years of experience advancing formal methods for critical systems and model checking. He contributes to the open-source Theta model checking framework and specializes in formal verification of SysML system models and, more recently, blockchain applications and PLC program verification. Milán has collaborated with organizations like NASA JPL and CERN and helped develop a cloud-based model checking platform to make SysML verification more practical for engineers. As a teaching assistant and thesis supervisor, he bridges research and education, delivering hands-on courses and mentoring BSc/MSc students. His background spans both academic and industry settings, including .NET development and international study at KIT, reflecting a blend of theoretical rigor and applied software engineering.
9 years of coding experience
1 year of employment as a software developer
Gödöllői Török Ignác GimnáziumDoctor of Philosophy - PhD, Computer Software Engineering, Doctor of Philosophy - PhD, Computer Software Engineering at Budapest University of Technology and EconomicsBachelor of Science - BS, Computer Engineering, Bachelor of Science - BS, Computer Engineering at Karlsruhe Institute of Technology (KIT)
English, German, Hungarian, French
Github Skills (27)
tla10
agda10
modular10
verification10
abstraction10
model-checking10
declarative-programming10
formal-verification10
coq10
homotopy-type-theory10
automata10
formal-methods9
gatsbyjs8
sass7
i18next7
Programming languages (5)
Github contributions (5)
mondokm/schachspiel
May 2018 - Sep 2018
Contributions:19 commits, 12 pushes, 1 branch in 4 months
mondokm/theta
Apr 2020 - Sep 2020
Generic, modular and configurable model checking framework
Contributions:97 pushes, 3 branches in 5 months
model-checkingconfigurablecheckinggenericmodular
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.