BME-MIT

Dóra Cziborová is a PhD student at the Budapest University of Technology and Economics, where she is a member of the Critical Systems Research Group. Her field of research is formal verification, with a focus on model checking of software-based real-time systems. She contributes to the development of the Theta open-source model checking framework. She presented her work titled Abstraction-based timed model checking for software-intensive system models at the Alpine Verification Meeting in 2024.