Home
>
About LRI
>
Personnel
> LELAY Catherine
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mrs LELAY Catherine
Warning: this member left the laboratory on 31/08/2015
Ingénieur d'étude 2ème classe
Université Paris-Saclay
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
