BME-MIT

Cziborová Dóra a Budapesti Műszaki és Gazdaságtudományi Egyetemen doktorandusza, a Kritikus Rendszerek Kutatócsoport tagja. Kutatási területe a formális verifikáció, elsősorban szoftveralapú időzített rendszerek modellellenőrzése. Kutatásához kapcsolódóan részt vesz a Theta nyílt forráskódú modellellenőrző keretrendszer fejlesztésében. Munkáját 2024-ben "Abstraction-based timed model checking for software-intensive system models" címmel az Alpine Verification Meeting keretében is bemutatta.