Contact
|
About me
Since 2013, I am an Associate Professor (Maître de Conférences) in Computer Science at University of Rennes, working in the Epicure research group, formerly Celtique (IRISA UMR 6074 / Inria). My research interests include: formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, language-based security.
Before that, I was a post-doc researcher at University of Pennsylvania, working on verification and security for the CRASH/SAFE project, under the direction of Benjamin Pierce.
I received a PhD in Computer Science in 2012 at ENS Cachan - Brittany Extension working in the Celtique team at IRISA / INRIA Rennes, supervised by Thomas Jensen and David Pichardie. My PhD was about 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.
In 2011, I visited the SSS lab of Jan Vitek at Purdue University, where I worked on the certified compilation of multi-threaded Java programs.
Professional service
- Steering Committee: CC (2021-2024)
- Organizing Committee: JFLA 2024 (General Co-Chair with Adrien Guatto), JFLA 2023 (General Co-Chair with Tim Bourke), CC 2021 (Program co-Chair with Rajiv Gupta).
- Program Committee: CGO 2023 (SRC), CC 2022, OOPSLA 2022, CGO 2022, PriSC 2021, CC 2020, CoqPL 2020, JFLA 2020, ITP 2018, CPP 2017, POPL 2017 (ERC), iFM 2016, FTfJP 2016, ESOP 2015, POPL 2015 (ERC), JFLA 2015.
- Conference External Reviewer: VMCAI 2017, ITP 2015, ESOP 2014, ITP 2014, CSL-LICS 2014, ITP 2013, ESOP 2013, ToolsEurope 2012, iFM 2012, SEFM 2011, FoVeOOS 2011, FoVeOOS 2010.
- Journal Reviewer: Journal of Formalized Reasoning 2013, Information Processing Letters 2012.