I am Assistant Professor (Maître de Conférences) in Computer Science at University of Rennes 1, working in the Celtique research group (IRISA/Inria). My research interests include: formal semantics of programming languages, program transformations, static analysis, computer-aided verification, language-based security.
Before that, I was a PhD student in Computer Science at ENS Cachan - Brittany Extension working in the Celtique team at IRISA / INRIA Rennes. My supervisors were Thomas Jensen and David Pichardie. More specifically, my PhD was on the formal semantics of intermediate representations used in static analysis and compilers, and on the formal correctness proof of their generation algorithm. Ideally, the correctness proof of such transformations can lead to their semantic characterization, and help identifying the strong invariants they satisfy, which can then be leveraged in the proof of subsequent analyses or optimizations.