Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > LONGUET Delphine
Présentation
Mme LONGUET Delphine
Maître de Conférences
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : +33 (0)1 69 15 65 42
Fax :
Bureau : 63/PCRI-S

Page personnelle : http://www.lri.fr/~longuet
Courrier électronique : Delphine.Longuet@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Test formel basé sur les modèles

Publications




Responsabilités administratives
   - Membre de la commission Web




Collaborations
   - LSV, ENS Cachan


Participations à des contrats
   - Paral-ITP
   - DATE - AMSUD