PhD Student
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Automatic and Incremental Repair for Speculative Information Leaks.
Formal Methods (FM)
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.