 |
 |
Doctorant
Université Paris-Saclay
Toccata
Tel : 0172925995
Fax : +33 1 74 85 42 29
Bureau :
Page personnelle : http://mattam.org
Courrier électronique : sozeau@lri.fr |
Activités de recherche
- Preuve de programme
- Programmation fonctionnelle
- Théorie des types
- Langages d'ordre supérieur
Publications
Projets
- Toccata
Logiciels et brevets
- Program : Program : un langage de programmation avec types dépendants dans Coq
Thèses et habilitations
Doctorat - Un environnement pour la programmation avec types dépendants
|
