Since September 2023, I have been a postdoctoral researcher in Prof. Thomas Henzinger’s group at the Institute of Science and Technology Austria. I received my PhD in the doctoral program ‘Logical Methods in Computer Science’ (LogiCS) funded by FWF, and the LIT AI Lab under the supervision of Prof. Armin Biere, at the Johannes Kepler University Linz in Austria. My thesis was on hardware model checking certification. Before that, I completed my undergraduate studies in the Department of Computing at Imperial College London, UK, where I was advised by Prof. Alessio Lomuscio.

My research focuses on formal verification and runtime monitoring for complex safety-critical systems, with a particular emphasis on integrating automated reasoning methodologies into learning neural-based control, and hardware systems. Recently, I also work on verification of neural networks.