Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > LESCUYER Stéphane
Présentation
M. LESCUYER Stéphane

ATTENTION : ce membre a quitté le laboratoire le 15/01/2011
 
LESCUYER 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