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

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.

From November 2012 to August 2013, 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.

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.

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.