About Me
I am a PhD student at the Budapest University of Technology and Economics, working on formal methods, mainly model checkers. I am interested in the model checking process, as a whole: from different application domains and model transformations through different algorithms, portfolios and algorithm selection to validation and certification. My focus is on applicability and usability of model checkers on real world projects. I have experience not just with software verification, but also with the formal verification of PLC code, hardware and engineering models.
My PhD advisor is Dr. Zoltán Micskei.
Education
- 2023 - present: Budapest University of Technology and Economics
Computer science PhD, advised by Dr. Zoltán Micskei
- 2022 - 2023: Budapest University of Technology and Economics
Computer Engineering MSc thesis
- 2018 - 2022: Budapest University of Technology and Economics
Computer Engineering BSc
Internships
- 2021 - 2022: thyssenkrupp Components Technology Hungary, Budapest, Hungary, Software Engineering Intern
Researching the applicability of multi-core architectures to existing implementations of automotive software.
Volunteering
- 2017 - 2019: Skool, Budapest, Hungary, Mentor & Programming Tutor
Helping young girls start their journey with programming and computer science.
- 2020 - present: Theta
Generic, modular and configurable model checking framework.
- 2023 - present: Btor2Cert
A Certifying and Validating Hardware-Verification Framework Using Software Analyzers.
- 2022: PLCverif integration with FRET
Integrating FRET, a framework for the specification and formalization of requirements into PLCverif, a formal verification tool for PLC programs.