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.