Habilitation à diriger des recherches
Equipe : Parallélisme
Approximation and verification
Début le 01/01/1970
Direction :
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI
Soutenue le 07/12/2010 devant le jury composé de :
Olivier Bournez - Ecole Polytechnique (rapporteur)
Marie-Claude Gaudel - Université Paris-Sud XI
Radu Grosu - State University of New York (SUNY) at Stony Brook (rapporteur)
Daniel Krob - Ecole Polytechnique
Marta Kwiatkoswka - University of Oxford (rapporteur)
Richard Lassaigne - Université Paris 7
Activités de recherche :
Résumé :
