Accueil
>
Présentation
>
Personnel
> LELAY Catherine
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Mme LELAY Catherine
ATTENTION : ce membre a quitté le laboratoire le 31/08/2015
Ingénieur d'étude 2ème classe
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes
Tel :
Fax :
Bureau : 39/PCRI-S
Page personnelle :
http://www.lri.fr/~lelay/
Courrier électronique :
Catherine.Lelay@lri.fr
Activités de recherche
-
Formalisation et preuves de programmes numériques
-
Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
Projets
-
Toccata
Logiciels et brevets
-
The Coquelicot library
: The Coquelicot library
Thèses et habilitations
Thèse en cours -
De nouveaux réels pour Coq
Participations à des contrats
-
DIM COQUELICOT