Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > STOULS Nicolas
About LRI
Mr STOULS Nicolas

Warning: this member left the laboratory on 31/08/2008
 
STOULS Ingénieur expert
INRIA
Toccata

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

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

Research activities
   - Automated deduction
   - Verification
   - Program proof
   - Programming
   - Logic










Ph.D. dissertations & Faculty habilitations
Ph.D   - Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés

Contracts & Grants
   - PFC