Delphine DEMANGE
delphine.demange(@)irisa.fr

Current position

Associate Professor (Maître de Conférences) at University of Rennes 1.
Member of the Celtique research group (IRISA/Inria).

My exact affiliation is: Univ Rennes, Inria, CNRS, IRISA.

Education

2012-2013 :

Postdoc researcher at University of Pennsylvania, working on security for the CRASH/SAFE project, under the direction of Benjamin Pierce.

2009-2012 : Defense date: October 19th!

PhD Thesis at ENS Cachan - Brittany Extension in the Celtique team at IRISA / INRIA Rennes - "Semantic foundations of intermediate program representations" - supervised by Thomas Jensen and David Pichardie

2009 :

Master Thesis (5 months) at IRISA / INRIA Rennes (Celtique team) - "Semantic study of Bytecode programs transformation" - supervised by Thomas Jensen and David Pichardie.
Graduate studies in Informatics - Rennes 1 University
Informatics & Telecommunications Magistère - ENS Cachan Brittany Extension

Internships and Visits

Aug-Sept. 2012:

Short Visit (2 months) in the PPLV group at University College of London. Supervised by Jade Alglave (UCL) and Daniel Kroenig (Oxford), working on static analysis and weak memory models.

Fall 2011:

Short Visiting Scholarship (4 months, funded by a Rennes Métropole grant) in the SSS lab, headed by Jan Vitek at Purdue University: formal semantics and certified compilation of multi-threaded Java programs

Summer 2008 :

Research internship (graduate - 2 months) at CSE - Chalmers - Gothenburg, Sweden - "Secret sensitive Noninterference" - supervised by David Sands

Summer 2007 :

Research internship (undergraduate - 2 months) at LIP - ENS Lyon (PLUME team) - "Formal Proof of Randomized Algorithms" - supervised by Philippe Audebaud