Recherche

• centres d'intérêt
  logique, beaux pré-ordres, vérification, langages formels, théorie des bases de données
• exposés
• publications ()
• doctorants
  • Hector Buffière (2024–présent) ; co-encadré avec Patrice Ossona de Mendez
  • Aliaume Lopez (2019–2023) ; co-encadré avec Jean Goubault-Larrecq ; soutenance le 12 septembre 2023
  • Anthony Lick (2016–2019) ; co-encadré avec David Baelde ; soutenance le 8 juillet 2019
  • Simon Halfon (2015–2018) ; co-encadré avec Philippe Schnoebelen ; soutenance le 29 juin 2018
• principaux financements

   

  ANR CoqoPetri (2025–2029)

  

  IUF junior (2018–2023)

   

  ANR BraVAS (2017–2020)

  

  ANR PRODAQ (2015–2019)

  

  ANR ReacHard (2011–2014)

   

  ANR AVeriSS (2007–2009)

  
  
• activités
  • comités de pilotage de STACS (co-chair), du GT-Verif
  • comités de programme des conférences Concur'26, CSL'26, CSL'25 (co-chair), FSCD'24, LICS'22, RP'20 (co-chair), MFCS'20, MOVEP'20, NAACL-HLT'19 (theory and formalisms), LICS'18, Petri nets'17, STACS'17, et des ateliers RP'15, RP'12, CSLP'12, LDTA'12, LDTA'11, TAG+10, TAG+9
  • comités d'organisation de ICALP'22, RP'20 (chair), Highlights 2014 (co-chair), GT-Vérif 2014, GT-Vérif 2013 (co-chair), CIAA'05

Enseignements

• Licence d'informatique
  • travaux dirigés d'internet et outils de 1e année
  • cours de logique de 3e année
• Master de logique mathématique et fondations de l'informatique (LMFI)
  • cours de théorie des modèles finis de 2e année
• Préparation à l'agrégation d'informatique
  • cours de logique et oraux de leçons

Voici du contenu pédagogique des années précédentes.

Autres activités

• membre élu de la section 2 du CoNRS mandature 2025–2029
• co-directeur du Master parisien de recherche en informatique (MPRI) depuis 2024