Computer engineer
PhD Student at Critical Systems Research Group
mondok@mit.bme.hu
Publications
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.