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

Page perso de Nicolas STOULS

Coordonnées

Photo_de_nicolas
    Équipe DynaMid
    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
    Clef PGP publique : PGP - public key
    CV Détaillé (13 pages) : .pdf / .ps.gz
    

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

Projets et collaborations

Responsabilités au CITI

  • Membre élu du conseil de laboratoire [2012..2014]
  • Membre nommé du conseil de laboratoire [2008..2012]
  • Assistant de prévention hygiène et sécurité du laboratoire CITI
  • Responsable de la cellule Moyens communs du CITI
  • Ingénieur système suppléant

Responsabilités et collaborations pédagogiques

  • Membre élu du conseil de département du premier cycle
  • Président du conseil restreint d'évaluation des enseignements du premier cycle (2013-2014)
  • Porteur du projet transversal de mécatronique en GCP et IF (Projet BQF - Bonus Qualité Formation - 2012-2014).
  • Correspondant C2I Niveau 1 et Niveau 2 Métiers de l'ingénieur pour l'INSA de Lyon
  • Co-porteur du projet transversal de mécatronique en GCP et IF (Projet BQF - Bonus Qualité Formation - 2010-2012).

Retour au plan

SHT75DHT22LM35
Température : °C  [°C .. °C]°C  [°C .. °C]°C
Humidité : %  [% .. %]%  [% .. %] 
Point de rosée : °C  [°C .. °C]  
Indice de chaleur :  °C  [°C .. °C] 

Up-time : 0j, 0h et 0m.

Ces données vous ont été généreusement offertes par Arduino (Yun), wikipedia, la DSI, le CISR et la direction du patrimoine.