Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > STOULS Nicolas
Présentation
M. STOULS Nicolas

ATTENTION : ce membre a quitté le laboratoire le 31/08/2008
 
STOULS Ingénieur expert
INRIA
Toccata

Tel : (+33) 1 74 85 42 67
Fax : (+33) 1 74 85 42 29
Bureau :

Page personnelle : http://www.lri.fr/~stoulsn/
Courrier électronique : stoulsn@lri.fr

Activités de recherche
   - Démonstration automatique
   - Vérification
   - Preuve de programme
   - Programmation
   - Logique










Thèses et habilitations
Doctorat   - Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés

Participations à des contrats
   - PFC