 |
 |
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
|
