My primary research interests lie in applying formal methods to security problems. In particular, I am interested in verifying countermeasures against Spectre vulnerabilities (e.g., Speculative Load Hardening) through property-based testing and machine-checked proofs.

I also hold a strong interest in the formal verification of low-level systems. During my PhD, I focused on verifying compilers and real-time systems using formal methods.