| Bienvenue，欢迎，herzlich willkommen！我是伊妮娅·南希研究中心，的分支Inria公司, 法国国家计算机科学研究所，和的成员洛里亚,计算机科学实验室及其应用南希. 我一直是VeriDis公司团队Inria Nancy和LORIA于2010年1月成立。我的科学兴趣在于正式核查领域，尤其是分布式算法和系统。我和团队成员一起工作关于该领域的方法、技术和工具，包括定理证明和模型检查。我们团队贡献的两个主要软件工具是TLA+验证系统和验证SMT求解器。从2016年到2021年，我是科学主管(déléguéscientifique科学)Inria Nancy研究中心的。像这样的，我是一个依职权Inria的成员评价委员会.2008年至2017年，我被Inria提名为科学理事会达格斯图尔宫-莱布尼茨信息中心.2012年至2016年，我担任博士委员会联合主席IAEM研究生院计算机科学专业。2005年至2011年，我当选为INRIA的成员2008年至2012年，我是国家委员会科学研究（CoNRS）。与列日、卢森堡和萨尔布吕肯的同事一起我是年度暑期学校的组织者悉尼威立雅运输公司（验证技术、系统和应用）。
|
