Since September 2021, I am a Lecturer (Maître de Conférences) at Université de Créteil. I teach at EPISEN, and am a member of the Spécification et vérification de systèmes team of the LACL.
I was previously a Research Associate in the Programming Principles, Logic and Verification group (PPLV) at UCL’s Dept. of Computer Science, which I joined in January 2017. I was in particular involved with the IRIS project.
I hold a PhD in Computer Science from the University of Lyon, under the supervision of Damien Pous.
My research focuses on theoretical aspects of software verification. More specifically I study the algebraic properties of various models of program behaviour. My interests also include logic, automata theory, mechanised proofs, concurrency theory and nominal mathematics. I have authored a number of papers in peer-reviewed international conferences and journals on some of these topics.