Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6472
412 96 Gothenburg, Sweden
antonina at chalmers.se
Since September 2024 I am a Ph.D. student at the Computer Science and Engineering Department at Chalmers University of Technology. My Ph.D. topic “Formal Verification of Autonomous Cyber-Physical Systems” focuses on runtime assurance and developing monitors that can handle noisy, missing, or delayed data. My interests include formal specification and verification, especially formal verification of probabilistic systems. My research is funded by the Wallenberg AI, Autonomous Systems, and Software Program.