Habilitation à diriger des recherches
Equipe : Toccata
Preuve automatique : techniques, outils et certification
Début le 01/09/2010
Direction :
Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI
Soutenue le 29/11/2010 devant le jury composé de :
Nachum Dershowitz, professeur, Tel Aviv University, (rapporteur),
Jürgen Giesl, professeur, RWTH Aachen, (rapporteur),
Jean Goubault-Larrecq, professeur, É.N.S. de Cachan, (rapporteur),
Claude Marché, directeur de recherches, INRIA Saclay-Île-de-France,
Jean-François Monin, professeur, Université Joseph Fourier, Grenoble 1,
Brigitte Rozoy, professeur, Université Paris-Sud 11.
Activités de recherche :
- Démonstration automatique
- Réécriture
Résumé :
