Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Catherine LELAY – Homepage
[go: Go Back, main page]

Catherine LELAY

Contacts:
Team-Project Toccata
LRI - bâtiment 650
Université Paris-Sud
91405 Orsay Cedex
France

email: catherine.lelay@inria.fr

CV

I am PhD student since october 2011 under supervision of Sylvie Boldo and Guillaume Melquiond with the subject "New real numbers for Coq" in the Digiteo project Coquelicot.

PhD thesis: First version
Defense: Slides


Last Publications:

A nice experience: (french)
Baccalauréat de mathématiques 2013: Sujet, Slides, Rapport, Coq.
Invited Talk at JFLA 2014: Coq passe le bac