Coordonnées
É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
- 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
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).