BME-MIT
Kristóf Marussy
assistant professor
Scopus
ORCID
Google Scholar
Kristóf Marussy is a member of the Critical Systems Research Group.
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
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