About
I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. I am also a member of the Graduate School of Computer Science.
I am broadly interested in relational and temporal reasoning in reactive systems ranging from classic hardware circuits to AI-driven decision systems. Key contributions of my research are:
- Theory, algorithms and tools for the causal analysis of model-checking failures (CAV’24, LICS’25);
- Specification and verification of fairness and explainability for trustworthy AI (TACAS’25, KR’25);
- Neuro-symbolic methods for formal verification (NeurIPS’24).
Check out our new preprint on synthezing correct-by-design Verilog code from formal specifications using Large Reasoning Models!
