Home
>
About LRI
>
Personnel
> LONGUET Delphine
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
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