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 "Combining CEGAR and Lazy Abstraction for Verifying Timed Systems" címmel 2023-ban az Alpine Verification Meeting keretében is bemutatta.