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 Lyon. Rattaché au laboratoire CITI, j'enseigne principalement dans la filière AMERINSA du FIMI.
Thèmes de recherche
- Informatique frugal [Phenix, Conv23]
- Caractérisation d'adresses IP pour la sécurité des réseaux [SSLR21, LCN22]
- 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]
Quelques projets et collaborations
- Co-organisation du campus du libre depuis sa première édition en 2018
- 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 des études [2017..2027]
- 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 ou établissement
- Membre élu du conseil des études [2017-2022]
- Membre de la section disciplinaire de l'INSA Lyon [2020-]
- Membre élu du conseil de département du premier cycle [2014-2021]
- Membre du CGA d'informatique
- Responsable du module d'ON/SOL
- Responsable du module d'Robotique et communication du P2I6 [2015-]
- Correspondant C2I/Pix [2010-]