Coordonnées
É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
- Co-organisation de l'école d'été Le Web des objets
- Organisation locale de la journée marketing de la recherche, organisée par l'ARC 6 de la région Rhône-Alpes
- Porteur du projet BQR Méthode de conception pour l'optimisation énergétique de réseaux de capteurs
- Organisation des journées SEmba 2013 les 4 et 5 Avril 2013, dans le contexte des nouveaux disposibitfs ARC de financement régional de la recherche Rhône-Alpine.
- Co-responsable du projet régional SEMBA, du cluster rhonalpin ISLE
- Organisation des premières journées du projet les 22 et 23 octobre 2009
- Organisation des journées 2010 du projet les 18 et 19 octobre 2010
- Organisation des journées 2011 du projet les 20 et 21 octobre 2011
- Représentant de l'INRIA au projet PFC (Plate-Forme de Confiance) du pôle de compétitivité parisien System@tic
- Collaborations diverses avec l'équipe Vesontio du LIFC de Besançon
- Collaboration avec JP Babau de l'université de Brest sur la validation de réseaux de capteurs avec contraintes de QoS
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]