Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > LELAY Catherine
Présentation
Mme LELAY Catherine

ATTENTION : ce membre a quitté le laboratoire le 31/08/2015
 
Ingénieur d'étude 2ème classe
Université Paris-Sud
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