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

Enseignements

2016-2017
Premier Cycle
  • Module Découvertes et usages des outils numériques (Amphi/TD/TP, AMERINSA et EURINSA de 1ère année)
  • Algo 1 et Algo 2 (TDs/TPs/Cours d'AMERINSA de 1ère année
  • Algo 3 et Algo 4 (TDs/TPs/Cours d'AMERINSA et EURINSA de 2ème année
  • P2I - 6 : Modules "programmation et communication" et "Programmation et électronique"
Département TC
  • Module Méthodes de génie Logiciel -- Introduction aux méthodes formelles
  • OT robotique
  • Encadrement de projets d'initiation à la recherche
Responsabilités
  • Responsable du module Découvertes et usages des outils numériques
  • Correspondant C2I
  • Responsable des salles informatiques du premier cycle
2015-2016
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA et EURINSA de 1ère année
  • TDs/TPs/Cours d'AMERINSA et EURINSA de 2ème année
Premier Cycle (INSA de Lyon)
  • P2I - 6 : Module programmation et communication
Département TC (INSA de Lyon)
  • Introduction aux méthodes formelles
  • OT robotique
Département Informatique (INSA de Lyon)
  • IHM
Master 2 RTS (Universités de Lyon)
  • Sécurité et sûreté de fonctionnement
    • Introduction : pdf
    • Quelques langages et méthodes pour la sûreté de fonctionnement : pdf
    • Méthode B : pdf
    • Méthode B -- Exercice : Machine B : Exemple TD
    • Méthode B -- Exercice : Raffinement B : Machine, Raffinement
2014-2015
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA de 1ère et 2ème année année (Groupes 81 et 88)
  • TDs/TPs/Cours d'EURINSA de 2ème année (Groupe 202)
Premier Cycle Classique (INSA de Lyon)
  • Ouveture thématique Systèmes embarqués
Département TC (INSA de Lyon)
  • Introduction aux méthodes formelles
  • OT robotique
Master 2 RTS (Universités de Lyon)
  • Sécurité et sûreté de fonctionnement
2013-2014
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA de 1ère année (1 groupe)
  • TDs/TPs/Cours d'EURINSA de 1ère et 2ème année (2 groupes)
Premier Cycle Classique (INSA de Lyon)
  • Ouveture thématique Systèmes embarqués
Département TC (INSA de Lyon)
  • Introduction aux méthodes formelles
  • OT robotique
Formation des enseignants du secondaire de l'option ISN
  • Spécialité : réseau
Master 2 RTS (Universités de Lyon)
  • Sécurité et sûreté de fonctionnement
2012-2013
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA de 2ème année (1 groupe)
  • TDs/TPs/Cours d'EURINSA de 1ère et 2ème année (2 groupes)
Premier Cycle Classique (INSA de Lyon)
  • Ouveture thématique Systèmes embarqués
  • Lanière d'innovation pédagogique
Département TC (INSA de Lyon)
  • Introduction aux méthodes formelles
Formation des enseignants du secondaire de l'option ISN
  • Spécialité : réseau
Master 2 RTS (Universités de Lyon)
  • Sécurité et sûreté de fonctionnement
2011-2012
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA de 1ère et 2ème année (2 groupes)
  • TDs/TPs/Cours d'EURINSA de 1ère et 2ème année (2 groupes)
Premier Cycle Classique (INSA de Lyon)
  • Ouveture thématique Systèmes embarqués
Département TC (INSA de Lyon)
  • Introduction aux méthodes formelles
Formation des enseignants du secondaire de l'option ISN
  • Spécialité : réseau
Master 2 RTS (Universités de Lyon)
  • Sécurité et sûreté de fonctionnement
2010-2011
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA de 1ère et 2ème année (1,5 groupes)
  • TDs/TPs/Cours d'EURINSA de 1ère et 2ème année (2 groupes)
    • Vidéo de promotion 2010-2011 : YouTube
    • Projet 2A Protocole Standard IF-GCP - Applet de simulation simpliste : Java Web Start, jar (version du 14 April 2011 - 11:03)
    • Projet 2A Protocole Standard IF-GCP - Applet de moniteur simpliste : Java Web Start, jar (version du 9 February 2011 - 14:11)
    • Projet 2A Protocole Standard IF-GCP - Applet de simulation GUI : Java Web Start, jar (version du 14 April 2011 - 11:03)
    • Projet 2A Protocole Standard IF-GCP - Applet de moniteur GUI : Java Web Start, jar (version du 9 February 2011 - 14:11)
    • Projet 2A Protocole Standard IF-GCP - Exemple de moniteur sous Android : apk (version du 24 January 2011 - 08:17)
    • Projet 2A Protocole Standard IF-GCP - Package de gestion du réseau : jar, doc, diagramme de classes (version du 9 February 2011 - 15:00)
    • Projet 2A Protocole Gyropode IF-GCP - Applet de simulation GUI : Java Web Start, jar (version du 31 May 2011 - 23:09)
    • Projet 2A Protocole Solaire IF-GCP - Applet de simulation GUI : Java Web Start, jar (version du 16 March 2011 - 14:31)
    • Rappel : un fichier jar est une application linux. Commande d'appel : java -jar <NomDuFichier.jar>
Master 2 RTS (Universités de Lyon)
  • Cours d'outils de modélisation pour les réseaux
    • Transparents du premier cours (Outils théoriques) : pdf
    • Transparents du second cours (Théorie des graphes) : pdf
    • Transparents du troisième cours (Exemple du problème du flot maximum) : pdf
Intervention d'initiation à Android
  • Supports de l'intervention
    • Application de démonstration : .apk, .tgz (source) (version du 16 May 2011 - 15:22)
    • Transparents présentés .pdf (version du 17 May 2011 - 17:05)
2009-2010
Premier Cycle International (INSA de Lyon)
  • TDs/TPs/Cours d'AMERINSA de 1ère et 2ème année (2 groupes)
  • TDs/TPs/Cours d'EURINSA de 1ère et 2ème année (2 groupes)
    • Vidéo de promotion 2009-2010 : YouTube
    • Projet 2A AMER/EUR - Poly d'accompagnement : pdf (version du 5 May 2010 - 19:30)
    • Projet 2A AMER IF-GCP - Poly d'accompagnement : pdf (version du 5 May 2010 - 18:24)
    • Projet 2A AMER IF-GCP - Applet de simulation : html, jar (version du 4 May 2010 - 09:25)
    • Projet 2A AMER IF-GCP - Applet de télécommande simpliste : html, jar (version du 4 May 2010 - 09:26)
    • Projet 2A AMER IF-GCP - Applet de télécommande simpliste avec GUI : jar (version du 4 May 2010 - 17:25)
    • Projet 2A AMER IF-GCP - Exemple de télécommande évoluée sous Android : apk (version du 4 May 2010 - 17:29)
    • Rappel : un fichier jar est une application linux. Commande d'appel : java -jar <NomDuFichier.jar>
Master 2 RTS (Universités de Lyon)
  • Cours d'outils de modélisation pour les réseaux
2008-2009
Premier Cycle International (INSA de Lyon)
  • TDs/TPs d'AMERINSA de 1ère et 2ème année (1,5 groupes)
  • TDs/TPs d'EURINSA de 1ère et 2ème année (2 groupes)
Master 2 RTS (Universités de Lyon)
  • Cours d'outils de modélisation pour les réseaux
2007-2008
.....
  • Rien ... vide ... le néant
2006-2007
IE2 (Université d'Orsay - Paris 11)
  • TD de génie logiciel en Licence 3 & Miage 1.
  • Projet TER en Licence 3 & Miage 1.
IFIPS (Université d'Orsay - Paris 11)
2005-2006
ENSIMAG (INP de Grenoble)
  • Encadrant du projet génie logiciel de 2A
UFRIMA (Grenoble 1)
  • Responsable de l'option méthodes formelles en Master 1 (option OGL2)
    • Poly du cours : .ps.gz
    • Suite du poly du cours : .ps.gz
    • Exercice corrigé donnant un exemple de calcul de WP : .ps.gz ou .pdf
    • Sujet du contrôle continue à rendre le 21 mars 2006 : .ps.gz ou .pdf
    • Sujet du TP1 (14/03/06) : .txt
    • Symboles et notations en B : .pdf
2004-2005
ISTG (Grenoble 1)
  • Encadrant du projet compilation de la filière RICM-1
ENSIMAG (INP de Grenoble)
  • Encadrant du projet génie logiciel de 2A
UFRIMA (Grenoble 1)
  • Responsable de l'option méthodes formelles en Master 1 (option OGL2)
2003-2004
UFRIMA (Grenoble 1)
  • Chargé de TD d'Architecture Logicielle et Matérielle en Lience 3 (2ème semestre /2 groupes)
  • Chargé du soutien TD et TP en informatique et mathématique d'un sportif de haut niveau en L1 pendant 2 semestres (info111 + math110)
2002-2003
DSU (Grenoble 1)
  • Chargé de TD et TP de programmation fonctionnelle en DEUG STPI2 sur 1 semestre.
  • Tuteur d'informatique sur 1 semestre + rattrapages en DEUG MIAS1
UFRIMA (Grenoble 1)
  • Chargé de TD d'Architecture Logicielle et Matérielle Soft en Licence d'informatique sur 1 semestre
2001-2002
DSU (Grenoble 1)
  • Tuteur d'informatique sur 2 semestres + rattrapages en DEUG MIAS1 et SM1.

Retour au plan