Delphine Demange

Delphine Demange is an Associate Professor in Computer Science at the University of Rennes, affiliated with Inria, CNRS, and IRISA. She works in the Epicure research group (formerly Celtique) and focuses on formal semantics, compiler verification, program transformations, static analysis, computer-aided verification, and language-based security. Her career spans roles at the University of Pennsylvania as a postdoctoral researcher and a PhD at ENS Cachan-Brittany Extension under Thomas Jensen and David Pichardie.

Her research interests center on formal methods for programming languages, particularly through compiler verification, static analysis, and language-based security. She has mechanized semantics for dataflow circuits and SSA-based optimizations, bridging theoretical rigor with practical compiler correctness. Her work often leverages interactive theorem provers like Coq to ensure robustness.

Delphine’s recent publications (2025–2010) highlight her expertise in formal verification of compilers, dataflow analysis, and concurrent systems. Notable trends include mechanized semantics for gated SSA and dataflow circuits, verified intermittent computing models, and concurrent garbage collectors using rely-guarantee methodologies.

Scientific Awards:

• EAPLS Best PhD Dissertation Award (2012)
• Gilles Kahn PhD Thesis Award (2013)

Teaching: She has taught undergraduate and master’s courses including Java programming, algorithmics, deductive verification with Why3, compilation, and software security. Her pedagogical contributions span functional programming, semantics, and logic.

Professional Service: Delphine has served on steering committees for CC (2021–2024), co-chaired JFLA 2024 and 2023, and participated in program committees for conferences like CGO, OOPSLA, and POPL.