Habilitation à diriger des recherches
Equipe : Toccata
SMT Techniques and their Applications: from Alt-Ergo to Cubicle
Début le 01/01/1970
Direction :
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI-PROVAL
Soutenue le 11/12/2012 devant le jury composé de :
Joffroy Beauquier
Giuseppe Castagna
Gilles Dowek (rapporteur)
Stephan Merz (rapporteur)
Christine Paulin
Silvio Ranise
Le troisième rapporteur est Andrew Tolmach, non présent le jour de la soutenance.
Activités de recherche :
Résumé :
