معرفی
Delphine Demange is an Associate Professor in Computer Science at University of Rennes, working in the Epicure research group (formerly Celtique) at IRISA (UMR 6074 / Inria). Her research focuses on formal methods for programming languages and compilers, with particular emphasis on compiler verification, program semantics, and language-based security.
Her research interests include formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, and language-based security. She has made significant contributions to the formal verification of compiler intermediate representations, particularly static single assignment (SSA) form, and has worked extensively on verified compilation techniques.
Her publication record shows a consistent focus on formal verification of programming language constructs and compiler components. Recent work (2023-2025) centers on dataflow circuits and solvers, while earlier work (2015-2020) focused on SSA-based optimizations, garbage collection verification, and information-flow security architectures. Her research demonstrates a strong commitment to applying formal methods to practical compiler and language implementation problems.
Her scientific awards include the EAPLS Best PhD Dissertation Award in 2012 and the Gilles Kahn PhD Thesis Award in 2013 for her thesis Semantic Foundations of Intermediate Program Representations.
She serves on numerous program committees for major programming languages conferences including CC, CGO, OOPSLA, and POPL, and has held leadership roles such as Program Co-Chair for CC 2021 and General Co-Chair for JFLA 2023 and 2024. She is also a member of the CC Steering Committee (2021-2024).
Her teaching portfolio includes undergraduate and graduate courses in programming, algorithmics, compilation, and program verification, with a particular focus on trustworthy programming techniques using deductive verification in Why3.
