 |
 |
Doctorant
CNRS
Toccata
Tel : 01 72 92 59 79
Fax :
Bureau :
Page personnelle : http://www.lri.fr/~lescuyer
Courrier électronique : lescuyer@lri.fr |
Activités de recherche
- Démonstration automatique
- Vérification
- Preuve de programme
Projets
- Toccata
Logiciels et brevets
- Alt-Ergo : Démonstrateur automatique Alt-Ergo
Thèses et habilitations
Doctorat - Formalisation et développement d'une tactique réflexive pour la démonstration automatique en Coq
Participations à des contrats
- A3PAT
|
