Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > LONGUET Delphine
About LRI
Mrs LONGUET Delphine
Maître de Conférences
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~longuet
Email : Delphine.Longuet@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Formal Model-Based Testing

Publications




Leadership positions
   - Web committee member




Collaborations
   - LSV, ENS Cachan


Contracts & Grants
   - Paral-ITP
   - DATE