Affiliation : Univ Rennes, Inria, CNRS, IRISA
Address : IRISA - Equipe Celtique
Campus Universitaire de Beaulieu
35 042 Rennes Cedex
Office : IRISA - F211
E-mail : delphine.demange(@)
Phone : +33 (0) 2 99 84 22 26
Fax : +33 (0) 2 99 84 71 71

About me

Since 2013, I am an Associate Professor (Maître de Conférences) in Computer Science at University of Rennes 1, working in the Celtique research group (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. 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.

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 activities