• Les contrats auxquels je participe au LSV:
• Projet ANR AVERISS (2007-2009)
• Projet CNRS/NRF (2004-2007) France-Afrique du Sud, co-responsable avec Stéphane Demri.
  
• Projet ANR RNTL AVERILES (2006-2008)
• Projet FAST (2000-2007, co-responsable avec Jérôme Leroux)
• Projet ARTIST 2 (2002-2008)
  
• Contrats EDF/LSV (depuis 2002), responsable.

• Anciens contrats:
• Projet ACI Sécurité Informatique PERSEE (2003-2007)
  
• Action spécifique AS22 du département STIC: Vérification de propriétés quantitatives (dans la cadre du RTP no19), (nov. 2001-déc. 2002).