Enseignement
Les enseignements ci-dessous ont été effectués :
- entre octobre 2006 et septembre 2009, en tant que moniteur au Département Informatique de la Faculté de Sciences de l'Université Lyon 1 ;
- entre octobre 2009 et août 2011, en tant qu'ATER au Département Techniques de Commercialisation et au Département Informatique de l'IUT Lyon 1 ;
- entre septembre 2011 et juillet 2013 en tant que vacataire au Département Informatique de l'IUT Lyon 1 et au Département Informatique de la Faculté de Sciences de l'Université Lyon 1 ;
- depuis septembre 2013 en tant que maître de conférences au Département Informatique de la Faculté de Sciences de l'Université Lyon 1.
Permis de Conduire Informatique (PCI)
Licence Sciences, Technologies, Santé - 1ère Année : 2006/07
TP sur les notions de base de l'informatique : Environnement de travail Windows XP et Linux, traitement de texte, tableur, navigation et recherche sur Internet, messagerie et réseaux, présentation assistée par ordinateur, création de page web, initiation à la programmation.
Bureautique
IUT Tech de Co - 1ère Année : 2009/11
TD/TP sur les bases de la bureautique (traitement de texte, tableur, présentation assistée par ordinateur).
Algorithmique et Programmation Impérative (LIF1 puis LIFAP1 puis LIFAPI)
Licence Sciences et Technologies - 1ère Année : 2012/...
Co-responsable de l'UE avec Elodie Desserée, depuis 2016.
Page web du cours
CM : bases de l'algorithmique, bases du C, fonction et procédure, passage de paramètres, programmation graphique, tableau, chaîne de caractères, structure.
TD : algorithmique, fonctions et procédures, passage de paramètres, tableaux, chaînes de caractères, structures, fichers, programmation graphique, exemple de conception.
TP de C : programmes simples, fonctions et procédures, passage de paramètres, tableaux, tableaux 2D, chaînes de caractères, tri, structures, programmation graphique, exemple de conception.
TP de Python.
Algorithmique et Programmation Fonctionnelle et Récursive (LIF3)
Licence Sciences et Technologies - 1ère Année : 2012/16 Licence Sciences, Technologies, Santé - 1ère Année : 2011/12 Licence Mathématiques et Informatique - 1ère Année : 2006/07
Co-responsable de l'UE avec Nathalie Guin et Florence Zara, entre 2013 et 2016.
Page web du cours
CM : Algorithmes, Débuts en Scheme, Listes, Let, Tris, Récursivité profonde, Arbres, Fonctions en argument et résultat, abstraction, map, apply, Logique.
TD : écriture d'algorithmes récursifs, débuts en Scheme, listes, let, tris, récursivité profonde, listes de listes, arbres, fonctions en argument et résultat, abstraction, map, apply, listes d'associations, logique.
TP de Scheme : listes, let, tris, listes de listes, récursivité profonde, arbres, programmation d'ordre supérieur.
Algorithmique et Programmation Récursive (LIFAP2 puis LIFPR - successeur de LIF3)
Licence Sciences et Technologies - 1ère Année : 2016/...
Co-responsable de l'UE avec Nathalie Guin et Florence Zara, depuis 2016.
Responsable de l'UE pour le cursus "Licence Aménagée", entre 2018 et 2020.
Page web du cours
CM : Algorithmes, Débuts en Scheme, Listes, Let, Tris, Récursivité profonde, Arbres.
TD : écriture d'algorithmes récursifs, débuts en Scheme, listes, let, tris, récursivité profonde, listes de listes, arbres.
TP de Scheme : listes, let, tris, listes de listes, récursivité profonde, arbres.
Applications en Mathématique et Informatique (LIFAMI)
Licence Sciences et Technologies - 1ère Année : 2016/...
Page web du cours
TD : applications concrètes de l’utilisation des mathématiques et des concepts informatiques dans les autres disciplines: mécanique, biologie, physique, économie ….
TP de C : mise en oeuvre des applications conçues en TD.
Base de données
IUT Tech de Co - 1ère Année : 2009/11
Responsable pédagogique de l'UE en 2009/10.
TD/TP sur la modélisation MCD, PowerAMC, Access.
Semestre Universitaire de Réorientation
Licence - 1ère Année : 2015/17
Page web du cours
CM d'introduction à l'Intelligence Artificielle (2017, 2016).
TP de SCRATCH.
Programmation et web
IUT Tech de Co - 2ème Année : 2009/11
TD/TP sur la programmation HTML, les outils type CMS, les notions de base en réseau, la programmation système et la sécurité informatique.
Atelier Génie Logiciel & Tests Logiciels
IUT Informatique - 2ème Année : 2010/12
CM d'introduction : définitions (AGL, Génie Logiciel, Logiciel...), cycle de vie du logiciel, modèles de conception et de développement, critères de qualité d'un logiciel, types d'AGL et leurs fonctionnalités. TP Veille technologique : recherche et comparaison d'AGL. TP Netbeans (AGL orienté développement). TP PowerAMC (AGL orienté conception). CM et TP Gestion de Version (SVN). CM et TP sur les Bonnes Pratiques de programmation. CM sur les tests logiciels. TP JUnit.
Bases de données et PL/SQL
IUT Informatique - 2ème Année : 2011/12
CM : PL/SQL. TP : révisions sur les bases de données et SQL Developer, PL/SQL.
Programmation logique (LIFO42 puis LIFprolog)
Licence Sciences et Technologies - 2ème Année : 2012/... Licence Mathématiques et Informatique - 2ème Année : 2007/08
Responsable de l'UE au printemps 2017/18 et au printemps 2021-22.
Page web du cours
CM : la logique pour Prolog, syntaxe, principe du prolog, listes, arbres, et applications à l'IA
TP de Prolog : listes, tris, arbres, ensembles...
Interactions Homme-Machine (IHM)
Licence Informatique - 3ème Année : 2007/08 Licence Miage - 3ème Année : 2007/08
CM : historique, conception, composants, évaluation d'une IHM et ergonomie des interfaces. TP en Delphi.
Base de l'intelligence artificielle (MIF14 puis M1if06)
Master Informatique - 1ère année : 2007/08 - 2013/24
Responsable de l'UE entre 2014 et 2024.
Page web du cours
CM : introduction à l'IA, représentation de problème, raisonnement logique (pdf 2022-a, 2022-b), système à base de connaissances, Prolog.
TD : représentation et résolution de problèmes (A*, BSH, CSP), mécanismes de résolution en logique d'ordre 1 (sujet 2022), Prolog, SBC.
TP Prolog : les bases puis casses-tête, CSP, graphes d'états, SBC...
TP Robots Lego Mindstorm.
Génie logiciel (MIF17)
Master Informatique - 1ère année : 2012/13
TP Rappel Objet. TD Cas d'utilisation. TP Desing Patterns. CM Méthodes de conception (sujet). TD Méthodes de conception (sujet). TP JUnit (sujet). Projet MULTIMIF (présentation).
EIAH et IHM
Master Informatique - 1ère année : 2007/08
CM : historique, conception et évaluation des IHM, ergonomie des interfaces. TP : présentation de divers EIAH (AMBRE, AplusiX, Cabri, Pépite, Eprofilea...) Projet : conception d'un EIAH.
Intelligence Artificielle & Cognition (IA-IAC)
Master Intelligence Artificielle - 2ème année : 2022/...
Page web du cours
CM : introduction à l'IA, aux systèmes cognitifs, approches cognitiviste et constructiviste.
Ateliers sur des thématiques en lien avec l'IA et la Cognition.
Ingénierie des connaissances d'expérience tracée (IA2)
Master Recherche Intelligence Artificielle et Aide à la Décision - 2ème année : 2012/16
Page web du cours
CM : Raisonnement à Partir de l'Expérience Tracée / Assistance (pdf 2015, 2014, 2013, 2012).
TD : Adaptation en RàPC et RàPET.
Environnements Informatiques pour l'Apprentissage Humain (IA4 puis IA6 puis IA-EIAH)
Master Intelligence Artificielle - 2ème année : 2016/20 - 2022/...
Master Recherche Intelligence Artificielle et Aide à la Décision - 2ème année : 2011/16
Responsable de l'UE, depuis 2013.
Page web du cours
CM Introduction aux EIAH .
CM IA pour les EIAH (pdf 2022).
CM Traces et données d’apprentissage en EIAH (pdf 2022).
CM Personnalisation de l'apprentissage / Adaptive Learning (pdf 2022).
CM Conception et évaluation des EIAH .
TP : manipulation d'EIAH (sujet 2022, logiciels 2022).
TP : traces et modèles de l'apprenant .
TP : Adaptive Learning .
TD : simulation d'un comité scientifique.
Projet : conception d'un EIAH .