Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > LESCUYER Stéphane
About LRI
Mr LESCUYER Stéphane

Warning: this member left the laboratory on 15/01/2011
 
LESCUYER Doctorant
CNRS
Toccata

Tel : 01 72 92 59 79
Fax :
Office :

Personal web page : http://www.lri.fr/~lescuyer
Email : lescuyer@lri.fr

Research activities
   - Automated deduction
   - Verification
   - Program proof


Joint Inria project teams
   - Toccata






Software & Patents
   - Alt-Ergo: The Alt-Ergo theorem prover


Ph.D. dissertations & Faculty habilitations
Ph.D   - Formalisation et développement d'une tactique réflexive pour la démonstration automatique en Coq

Contracts & Grants
   - A3PAT