Research

Formal modelling
Verification and static analysis
Invariant synthesis
Compiler validation
Communication models
Certified Taylor approximations in Coq, a proof assistant: PhD proposal (2019)

Matthias Colin: Analyse statique de la communication dans un langage d'acteurs fonctionnel (1999 to 2003, PhD in cooperation with Marc Pantel), now assistant professor at EISTI
Pierre-Loïc Garoche: Analyse statique d'un calcul d'acteurs par interprétation abstraite (2006 to 2009, PhD in cooperation with Marc Pantel), now research associate at ONERA
Benoît Combemale: Approche de métamodélisation pour la simulation et la vérification de modèle (2006 to 2009, PhD in cooperation with Xavier Crégut and Marc Pantel), now associate professor at université de Rennes
Nassima Izerrouken: Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié (2007 to 2011, PhD in cooperation with Marc Pantel), now R&D engineer at Altran
Mounira Kezadri: Validation et vérification de systèmes critiques: Ontologies et intégration de composants (2009 to 2013, in cooperation with Marc Pantel and Benoît Combemale), now assistant professor at Taibah university, Sabyah, Saudi Arabia
Alexis Maffart: Certified Taylor expansions (2018 to 2021, PhD)
Nasrine Damouche: Analyse de précision numérique (2019 to 2020, postdoc, funding by LabEx CIMI)

The TOPCASED project (2006-2010, FUI)
The GeneAuto project (2006-2008, ITEA)
The OPEES (2009-2012, ITEA2)
The CAVALE project (2009-2012, FNRAE, manager)
The GeMoC project (2012-2016, ANR INS, manager)
The VORACE project (2013-2016, ANR-DGA Astrid)
The CrAVES project (2011-2016, NSF)
A contract with the CNES institute (2016-2017, subcontractant)
The Pardi project (2016-2020, ANR)
The SYFI project (2019-2022, funding by GRAINE)

Examiner of Pierre-Loïc Garoche's PhD defence (advisor, 2008)
Examiner of Nassima Izerrouken's PhD defence (advisor, 2011)
Training Sessions on proof assistants at ONERA (2011)
Invited member of FORCE3 project at ONERA (managed by Virginie Wiels, 2013-2017)
Invited Speaker at the annual plenary session of the CAFEIN project (2016)
Reviewer for ERTS'2016 conference
Invited Speaker at the annual seminar of GDR LTP (2016)
Invited Speaker at the annual plenary session of the CAFEIN project (2017)
Invited Speaker at the MAAM'17 conference
Reviewer of Emilien Kofman's PhD defence (supervised by Robert de Simone, INRIA, 2017)
Invited Speaker at the annual plenary session of the FEANICSES project (2018)
Program Commitee member of the TNC'18 conference
Scientific commitee member of Dorra Ben Khalifa's PhD (2018-2021, Université de Perpignan)
Scientific commitee member of Farah Benmouhoub(s PhD (2018-2021, Université de Perpignan)