Enseignements
Présentation générale
Enseignements
Stages et thèses
Publications
Logiciels
HardenedGolo
Aoraï
GénéSyst
Projets
BQR
SEmba
PFC
GECCOO
BOM
Divers
Cursus
2020-2021
FIMI
Module Découvertes et usages des outils numériques (TD/TP/CM, en AMERINSA et EURINSA)
Algorithmique et programmation 1 (TDs/CMs en EUR et AMER)
Algorithmique et programmation 2 (TDs/CMs en EUR et 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
Cryptographie et Sécurité des Communications
Option 5A - Systèmes Multi-Robots
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
Correspondant Moodle
Participation aux entretiens INSA
CPE
Module d'initiation à l'IoT
PPH
Encadrement de PPH
MacSUP
Participation au projet MacSUP#3
2019-2020
FIMI
Module Découvertes et usages des outils numériques (TD/TP/CM, en AMERINSA, EURINSA et PCC)
Algorithmique et programmation 1 (TDs/CMs en EUR et 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
Cryptographie et Sécurité des Communications
Option 5A - Systèmes Multi-Robots
Encadrement de projet de recherche
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
Correspondant Moodle
Participation aux entretiens INSA
CPE
Module d'initiation à l'IoT
Département GE
Management de projet et création d'entreprise
PPH
Encadrement de PPH
MacSUP
Participation au projet MacSUP#3
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)
Algorithmique et programmation 5 (Sportifs de haut niveau)
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
Initiation à l'informatique en école primaire (CE1/CE2)
Ressources externes originales :
monecole.fr
)
Zip des ressources produites ou originales :
ZIP de l'ensemble
Fichiers séparés :
Diaporama séance 1
Diaporama séance 2
Diaporama séance 3
Fiches à imprimer et plastifier
Consignes pour les défis
Bilan pour parents pour le cahier
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)
Ouverture 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)
Ouverture 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)
Ouverture thématique Systèmes embarqués
Lanière d'innovation pédagogique
Prototype pour semaine transversale :
Java Web Start
Département TC (INSA de Lyon)
Introduction aux méthodes formelles
3TC-NET - Fondamentaux sur les réseaux
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)
Projet 2A
Simulateur du véhicule solaire
:
Java Web Start
,
jar
(version du 5 June 2012 - 11:34)
Projet 2A
Simulateur protcole standard
:
Java Web Start
,
jar
(version du 6 April 2012 - 09:35)
Projet 2A et OT
Packet Injection
:
Google play store
Dernière mise à jour du poly Java 1A :
Poly Java
Premier Cycle Classique (INSA de Lyon)
Ouverture 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.
Proposition d'un
sujet
IFIPS (Université d'Orsay - Paris 11)
Cours et TD de GL en 2
ème
année.
Sujet de TP du 16/05/2007 :
2007_IFIPS_TP.tgz
.
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