Milán Mondok

Logo

Computer engineer
PhD Student at Critical Systems Research Group

mondok@mit.bme.hu
Publications

About Me

PhD student in formal methods at the Budapest University of Technology and Economics, with an interest in critical systems and formal verification. I primarily do research on the formal verification of SysML system models. Former intern at CERN and evosoft Hungary.

My PhD advisor is Dr. Vince Molnár.

Education

Employment

Tools

Service