Habilitation à diriger des recherches

Soutenance

jeudi 23 octobre 2008 à 14h30, ENSIIE

Commission d'examen

Rapporteurs:
  • Andrea Asperti, Universita di Bologna
  • Roberto Di Cosmo, Université Paris 7
  • Christine Paulin, Université Paris Sud
  • Examinateurs:
  • Andrew W.Appel, Princeton University
  • Catherine Dubois, ENSIIE
  • Xavier Leroy, INRIA Paris-Rocquecourt
  • Mémoire/ Thesis

    Sématiques formelles

    Articles joints/ Selected papers

    E-mail: Sandrine.Blazy@ensiie.fr
    Snail mail: ENSIIE, 1 square de la résistance, 91 025 Évry cedex, France.
    Phone: 01 69 36 73 47. Fax: 01 69 36 73 05.