Research

Topics

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

PhD and postdoc advising

  • 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)

Contracts and collaborative projects

  • 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)

Achievements

Other activities and duties

  • 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)

Academic collaborations

  • ONERA Toulouse: Pierre-Loïc Garoche, Remi Delmas, Eric Noulard, Claire Pagetti
  • ISAE: Christophe Garion
  • NASA Ames/CMU: Guillaume Brat, Temesghen Kahsaï
  • University of Iowa: Cesare Tinelli
  • ENSTA Paristech: Alexandre Chapoutot
  • LAAS: Didier Henrion
  • Verimag: Victor Magron
  • GeorgiaTech: Eric Féron
  • Université de Perpignan: Assalé Adjé, Matthieu Martel