Delphine DEMANGE
01/07/1983 - French
delphine.demange(@)irisa.fr
Education
2009-present :
- PhD Thesis at ENS Cachan - Brittany Extension in the Celtique team at IRISA / INRIA Rennes - "Provably Correct Program Transformations for Static Analysis" - 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
2007 :
- Bachelor degree in Informatics - Rennes 1 University
Internships and Visits
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
Summer Schools
August 2011:
- Marktoberdorf Summer School on Tools for Analysis and Verification of Software Safety and Security - Bayrischzell, Germany
July 2010:
- Oregon Programming Language Summer School - Eugene, Oregon, USA
June 2010:
- Ecole Jeunes Chercheurs en Programmation - Dinard, Francd
October 2008:
- FIRST Ph.D. School on Logics and Semantics of State - Copenhagen, Denmark
Languages
- French: mother tongue
- English: good skills, both written and oral
- German: high school level