Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > LELAY Catherine
About LRI
Mrs LELAY Catherine

Warning: this member left the laboratory on 31/08/2015
 
Ingénieur d'étude 2ème classe
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 39/PCRI-S

Personal web page : http://www.lri.fr/~lelay/
Email : Catherine.Lelay@lri.fr

Research activities
   - Formalisation and Proof of Numerical Programs
   - Formalisation of (Specification and Programming) Languages in Proof Assistants


Joint Inria project teams
   - Toccata






Software & Patents
   - The Coquelicot library: The Coquelicot library


Ph.D. dissertations & Faculty habilitations
Thesis in progress   - De nouveaux réels pour Coq

Contracts & Grants
   - DIM COQUELICOT -Convention Proje