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 Combining CEGAR and Lazy Abstraction for Verifying Timed Systems at the Alpine Verification Meeting in 2023.