Accueil
>
Présentation
>
Personnel
> LONGUET Delphine
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Mme LONGUET Delphine
Maître de Conférences
Université Paris-Saclay
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