About Me

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.

Education

• 2023 - present: Budapest University of Technology and Economics
  Computer science PhD, advised by Dr. Vince Molnár
• 2021 - 2023: Budapest University of Technology and Economics
  Computer Engineering MSc   thesis
• 2017 - 2021: Budapest University of Technology and Economics
  Computer Engineering BSc   thesis

Employment

• 2021 - present: Department of Measurement and Information Systems, BME
  Research Assistant, Working with NASA JPL and IncQuery Labs on creating a cloud-based model checking framework for SysML models
• 2019 - present: Budapest University of Technology and Economics
  Teaching Assistant, Delivering practical lectures, correcting and assembling exams and homework assignments
• 2021: CERN (10 weeks)
  Summer Intern, Researching formal verification of PLC programs in the PLCverif tool
• 2020 - 2021: evosoft Hungary (7 months)
  Software Engineer Intern, .NET developer

Tools

• 2016 - present: Theta
  Generic, modular and configurable model checking framework.

Service

• Subreviewer: FASE’24, TACAS’24 (SV-COMP)
• Artifact Subreviewer: CAV’22