Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > SOZEAU Matthieu
About LRI
Mr SOZEAU Matthieu

Warning: this member left the laboratory on 31/12/2008
 
SOZEAU Doctorant
Université Paris-Saclay
Toccata

Tel : 0172925995
Fax : +33 1 74 85 42 29
Office :

Personal web page : http://mattam.org
Email : sozeau@lri.fr

Research activities
   - Program proof
   - Functional programming
   - Type Theory
   - Higher-Order Languages

Publications

Joint Inria project teams
   - Toccata






Software & Patents
   - Program: Program : Programming with Dependent Types in Coq


Ph.D. dissertations & Faculty habilitations
Ph.D   - An Environment for Programming with Dependent Types