Accueil
>
Présentation
>
Personnel
> STOULS Nicolas
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. STOULS Nicolas
ATTENTION : ce membre a quitté le laboratoire le 31/08/2008
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