About Me

I am a PhD student at the Budapest University of Technology and Economics where my research field is Computer Science. I primarily do research on the model checking of multi-threaded software, and logic solvers. Furthermore, I am familiar with the toolset of SysML and SysML v2: technologies that I used in my industrial research projects.

My PhD advisor is Dr. Oszkár Semeráth.

Education

• 2025 - present: Budapest University of Technology and Economics
  Computer science PhD, advised by Dr. Oszkár Semeráth
• 2023 - 2025: Budapest University of Technology and Economics
  Computer Engineering MSc   thesis
• 2019 - 2023: Budapest University of Technology and Economics
  Computer Engineering BSc   thesis

Employment

• 2024 - 2025: IncQuery Labs - PTC, Budapest, Hungary, Junior Researcher
  Adapting novel concepts of systems engineering to industrial processes (validation of SysMLv2 models).
• 2020 - 2025: Budapest University of Technology and Economics, Budapest, Hungary, Teaching Assistant
  Delivering practical lectures and computer lab sessions; assembling and correcting homeworks, tests and exams.
• 2018 - 2022: Piarist Grammar School, Budapest, Hungary, Teaching Assistant
  Teaching the basics of programming and robotics to secondary school students.

Internships

• 2022: IncQuery Labs, Budapest, Hungary, Software Engineering & Research Intern
  Exploring and benchmarking version-controlled systems model storage options.

Tools

• 2021 - present: Theta (Contributor) Generic, modular and configurable model checking framework.

Selected Publications

• VERDI’25 Reasoning with Happens-Before Relations about Concurrent Programs in the Theta Framework
  With Levente Bajczi, Dániel Szekeres, András Vörös, and István Majzik   paper
• SPIN’25 On-the-fly Cone-of-Influence Reduction for Model Checking Concurrent Software
  With Levente Bajczi, Dániel Szekeres, and András Vörös   paper
• TACAS’25 On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study)
  With Levente Bajczi, Dániel Szekeres, and András Vörös   paper
• TACAS’25 Theta: Various Approaches for Concurrent Program Verification (Competition Contribution)
  With Levente Bajczi, Dániel Szekeres, and András Vörös   paper