Institut National des Sciences Appliquéees de Lyon CITI Laboratory Université de Lyon

Page perso de Nicolas STOULS

Coordonnées

Photo_de_nicolas
    Équipe Phenix
    Laboratoire CITI, Bâtiment Claude Chappe
    6 Avenue des Arts
    69621 Villeurbanne Cedex
    FRANCE
    Tel : (+33) 4 7243 7321
    Fax : (+33) 4 7243 6227
    Bureau : TB 120
    E-Mail : nicolas.stouls (à) insa-lyon (point) fr
    

Docteur de l'INP de Grenoble, j'ai soutenu ma thèse le 14 décembre 2007. Après avoir effectué un post-doctorat au sein de l'équipe ProVal de l'INRIA-Saclay - Île-de-France, je suis maintenant maître de conférence à l'INSA de Lyon. Rattaché au laboratoire CITI, j'enseigne principalement dans les filières EURINSA et AMERINSA du premier cycle international de l'INSA, ainsi que dans le Master 2R RTS commun entre l'INSA et l'université Lyon 1.

Thèmes de recherche

  • Heuristiques de sélection d'hypothèses pour l'automatisation des preuves [CGS08,CGS09,JSBM10]
  • Vérification de propriétés temporelles sur un programme impératif (Plug-in Aoraï de Frama-C) GS09
  • Génération de l'ensemble des comportements d'une spécification [S07]
  • Spécification fonctionnelle et comportementale de composants
  • Vérification statique ou à la volée d'un composant

Quelques projets et collaborations

Quelques responsabilités au laboratoire CITI

  • Membre élu du conseil de laboratoire [2012..2020]
  • Membre nommé du conseil de laboratoire [2008..2012]
  • Assistant de prévention hygiène et sécurité du laboratoire CITI [2009-2020]

Quelques responsabilités pédagogiques

  • Membre élu du conseil des études [2017-2022]
  • Membre élu du conseil de département du premier cycle [2014-2021]
  • Responsable du module d'ON tout FIMI
  • Responsable du module d'Algo/Prog[1-4] EUR/AMER
  • Correspondant C2I/Pix [2010-2021]

Retour au plan