联系人
| 附属： | 雷恩大学、Inria、CNRS、IRISA |
| 地址： | IRISA-装备Epicure |
| 比尤利大学校园 |
| 35 042雷恩斯·塞德克斯 |
| | |
办公室： | IRISA-F205（橙色） | |
电子邮件： | delphine.demange（@）irisa.fr
| |
电话： | +33 (0) 2 99 84 22 26 | |
传真： | +33 (0) 2 99 84 71 71 |
|
 |
关于我
自2013年起，我担任计算机专业副教授雷恩大学科学系Epicure研究组，以前是凯尔特人（IRISA UMR 6074/Inria）。我的研究兴趣包括：形式语义学编程语言、程序转换、编译器验证、静态分析、，计算机辅助验证，基于语言的安全性。
在此之前，我是一名博士后研究员在宾夕法尼亚大学,致力于验证和安全这个CRASH/SAFE项目，在下方向属于本杰明·皮尔斯.
我于2012年获得计算机科学博士学位ENS Cachan-布列塔尼扩建在凯尔特人团队位于IRISA公司/INRIA雷恩，监督人托马斯·詹森和大卫·皮哈迪.我的博士学位是关于静态分析和编译器中使用的中间表示的形式语义，以及它们的生成算法的形式正确性证明。理想情况下，这种转换的正确性证明可以导致其语义特征化，并有助于识别它们满足的强不变量，然后可以在后续分析或优化的证明中加以利用。
2011年，我参观了SSS实验室属于扬·维泰克在普渡大学，我在那里从事多线程Java程序的认证编译。
专业服务
- 指导委员会：CC（2021-2024年）
- 组委会：JFLA 2024（与阿德里安·瓜托)，JFLA 2023（与蒂姆·伯克)CC 2021（项目联合主席拉吉夫·古普塔).
- 项目委员会：CGO 2023（SRC）、CC 2022、OOPSLA 2022、CGO 2022、PriSC 2021、CC 2020、CoqPL 2020、JFLA 2020、ITP 2018、CPP 2017、POPL 2017（ERC。
- 会议外部审查人：VMCAI 2017、ITP 2015、ESOP 2014、ITP 2014、CSL-LICS 2014、ITP-2013、ESOP 2013、ToolsEurope 2012、iFM 2012、SEFM 2011、FoVeOOS 2011、FoVeOOS 2010。
- 期刊审核人：2013年《形式化推理杂志》，2012年《信息处理快报》。