Kristóf Marussy
assistant professor

Contact information
Office:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB417
Phone:
+36 1 463-3586
Fax:
+36 1 463-4112
Email:
marussy (*) mit * bme * hu
Personal Web page:
http://home.mit.bme.hu/~marussy/indexe.html Introduction
My research interests include graph generation, logic solvers, formal verification, and applying these techniques for ensuring the safety and correctness of critical systems.
- Critical systems: Cyber-physical systems especially in the railway, automotive, and aerospace domains with stringent correctness and reliability requirements
- Formal verification: Proving the safety and reliability of critical system designs and software components in a mathematically precise way
- Automated reasoning: Integrating logical and numerical solvers with intelligent heuristics to answer challenging analysis questions and synthesize reliable system designs
- Graph generation: Efficient graph-based information processing for system modeling, testing data-driven systems, and knowledge representation in autonomous systems