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

Enseignements

2018-2019
Premier Cycle
  • Module Découvertes et usages des outils numériques (TD/TP/CM, en AMERINSA, EURINSA et PCC)
  • Algorithmique et programmation 1 (TDs en PCC et TDs/CMs en EUR/AMER)
  • Algorithmique et programmation 2 (TDs/CMs en AMER)
  • Algorithmique et programmation 3 (TDs/CMs en AMER)
  • Algorithmique et programmation 4 (TDs/CMs en AMER)
  • P2I - 6 : Modules "programmation et communication" et suivi de projet
  • Référent pour stage de découverte de l'entreprise
Département TC
  • Module Méthodes de génie Logiciel -- Introduction aux méthodes formelles
  • Option 5A - Matériel/Logiciel pour la robotique
CPE
  • Module d'initiation à l'IoT
Responsabilités
  • Responsable du module programmation et communication du P2I-6
  • Responsable du module Découvertes et usages des outils numériques
  • Responsable des modules d'algorithmique et programmation EUR/AMER de 1ère et 2ème année
  • Responsable de l'évaluation des enseignements au PC (et en informatique)
  • Référent PIX (Ex-correspondant C2I)
Divers
  • Participation aux entretiens INSA
  • Encadrement de PPH
2017-2018
Premier Cycle
  • Module Découvertes et usages des outils numériques (TD/TP/CM, en AMERINSA, EURINSA et PCC)
  • Algorithmique et programmation 1 (TDs en PCC et TDs/CMs en EUR/AMER)
  • Algorithmique et programmation 2 (TDs/CMs en AMER)
    • Dernière mise à jour du poly Java : Poly Java
  • Algorithmique et programmation 3 (TDs/CMs en AMER)
  • Algorithmique et programmation 4 (TDs/CMs en AMER)
  • P2I - 6 : Modules "programmation et communication" et suivi de projet
  • Référent pour stage de découverte de l'entreprise
Département TC
  • Module Méthodes de génie Logiciel -- Introduction aux méthodes formelles
  • Option 5A - Matériel/Logiciel pour la robotique
  • Encadrement de projet de recherche IST
CPE
  • Module d'initiation à l'IoT
Responsabilités
  • Responsable du module programmation et communication du P2I-6
  • Responsable du module Découvertes et usages des outils numériques
  • Responsable de l'évaluation des enseignements au PC (et en informatique)
  • Référent PIX (Ex-correspondant C2I)
Divers
  • Participation aux entretiens INSA
  • Encadrement de PPH
  • Réalisation d'un MOOC dans le cadre du projet Connect-IO
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"
  • Référent pour stage de découverte de l'entreprise
Département TC
  • Module Méthodes de génie Logiciel -- Introduction aux méthodes formelles
  • Option 5A - Matériel/Logiciel pour la robotique
  • Encadrement de projets d'initiation à la recherche
  • Encadrement de projet de recherche IST
Responsabilités
  • Responsable du module Découvertes et usages des outils numériques
  • Correspondant C2I
  • Responsable des salles informatiques du premier cycle
École primaire
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
Premier Cycle
  • Référent pour stage de découverte de l'entreprise
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
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
Formation des enseignants du secondaire de l'option ISN niveau 2
  • Spécialité : Compilation et vérification
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