About Me
Expertise
#Formal-Methods
#Verification
#Static-Analysis
#Abstract-Interpretation
I am a final-year PhD student in Computer Science at École Normale Supérieure under the supervision of Caterina Urban.
My research focuses on providing mathematical guarantees about programs behavior. My works explore the verification of temporal properties of sequential C-like programs. More specifically, I use Abstract Interpretation to develop static analyses proving CTL properties of program in adversarial contexts.
Publications
See my Google Scholar profile →
2026
ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)
Naïm Moussaoui Remil, Caterina Urban