I’m an assistant professor working at the 🔬 Critical Systems Research Group (ftsrg) at the 🏫 Department of Artificial Intelligence and Systems Engineering (MIT) at 🏛️ Budapest University of Technology and Economics (BME). My research interests include graph generation, logic solvers, formal verification, and applying these techniques for ensuring the safety and correctness of critical systems.
I also like free (as in liberty) and open-source software. My pronouns are he/him.
Cyber-physical systems especially in the railway, automotive, and aerospace domains with stringent correctness and reliability requirements
Proving the safety and reliability of critical system designs and software components in a mathematically precise way
Integrating logical and numerical solvers with intelligent heuristics to answer challenging analysis questions and synthesize reliable system designs
Efficient graph-based information processing for system modeling, testing data-driven systems, and knowledge representation in autonomous systems
I also contributed to Ferdium, a desktop app that combines and organizes messaging apps to take back user freedom. Give it a spin!
I host some Git repositories and Jenkins CI to publish my own code and mirror software I contribute to or use.
Take a look at the mirrors of Firejail and sway. Here are my scripts for mirroring.
See the full list of my pulications at
2018–2023
Budapest University of Technology and Economics
Some portions may be exclusively licensed to their original publishers
2016–2018
Budapest University of Technology and Economics
2012–2016
Budapest University of Technology and Economics
2025–
Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Hungary
2023–2024 (research fellow) 2020–2023 (assistant research fellow)
2018–2019
2014-2015
BioIntelligence Research Group, Institute of Genomic Medicine and Rare Disorders, Semmelweis University, Budapest, Hungary
2024 (postdoc)
Awarded by the National Research, Development and Innovation Office (NRDI) of Hungary to around 2000 recipients per year (formerly ÚNKP)
2023 (postdoc) 2021 (PhD candidate) 2018 (PhD student) 2016 (MSc)
Awarded by the László Schell Foundation to 1 member of the Department of Artificial Intelligence and Systems Engineering per year for exceptional work in innovation
May–June 2019 October 2020
Department of Electrical and Computer Engineering, McGill Univeristy, Montreal, Canada
March 2019
Department of Computer Science and Engineering, and Mathematics, University of L'Aquila, Italy
2024–
2014–2023
7 × BSc 4 × MSc 1 × MSc ÚNKP student research
5 × 🥇 5 × 🥈 1 × 🥉 1 × meritat university level
1 × 🥈 1 × 🥉 1 × meritat national level
OOPSLA ’23 ECOOP ’23 and ’22
OOPSLA ’23 and ’21 ECOOP ’23 and ’22 FASE ’24 and ’23 ESOP ’22
For messages about my projects, this website, or anything else