Enseignement
2025-2026
Algorithmique programmation impérative, initiation (LIFAPI)
Univ. Lyon 1 - L1 Mathématiques & Informatique - Automne
Co-responsable de l'UE.
Intervenante de CM pour la Séquence 5.
Intervenante de TD et TP pour le Groupe xxx de la séquence 1
et le Groupe xxx de la séquence 5.
Page web du cours
CM : bases de l'algorithmique, bases du C, fonction et procédure, passage de paramètres, tableau, chaîne de caractères, structure, programmation graphique.
TD : algorithmique, fonctions et procédures, passage de paramètres, tableaux, chaînes de caractères, structures, exemple de conception, programmation graphique.
TP en C/C++ : programmes simples, fonctions et procédures, passage de paramètres, tableaux, tableaux 2D, chaînes de caractères, structures, exemple de conception, programmation graphique.
Algorithmique et Programmation Récursive (LIFPR)
Univ. Lyon 1 - L1 Mathématiques & Informatique - Printemps
Co-responsable de l'UE.
Intervenante de CM le lundi matin (Sequence 1).
Intervenante de TD et TP pour les Groupe xxx (lundi matin) et Groupe xxx (mardi après-midi).
Page web du cours
CM : algorithmes récursifs, débuts en Scheme, listes, let, tris, calcul en montant / descendant, récursivité profonde, listes de listes, arbres.
TD : écriture d'algorithmes récursifs, débuts en Scheme, listes, let, tris, récursivité profonde, listes de listes, arbres.
TP en Scheme : listes, let, tris, listes de listes, récursivité profonde, arbres.
Applications en Mathématique et Informatique (LIFAMI)
Univ. Lyon 1 - L1 Mathématiques & Informatique - Printemps
Intervenante de TD et TP pour le Groupe xxx (Sequence 2).
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.
Programmation logique (LIFprolog)
Univ. Lyon 1 - L2 Informatique - Printemps
Page web du cours
Intervenante de TP pour le Groupe xxx du printemps.
TP en Prolog : listes, tris, arbres, ensembles...
Bases de l'Intelligence Artificielle (M1if06)
Univ. Lyon 1 - M1 Informatique
Responsable de l'UE.
Intervenante de CM.
Intervenante de TD et TP pour le Groupe xxx.
Page web du cours
CM : introduction à l'IA, représentation de problème, raisonnement logique, système à base de connaissances, Prolog.
TD : représentation de problème, logique, Prolog.
TP de Prolog : les bases puis casses-tête, CSP, graphes d'états, SBC...
Projet d'Orientation en Master (M1if11)
Univ. Lyon 1 - M1 Informatique
Proposition de sujets ici.
Intelligence Artificielle & Cognition (IA-IAC)
Univ. Lyon 1 - M2 Intelligence Artificielle (IA)
Responsable de l'UE.
Intervenante de CM.
Intervenante de TD.
Page web du cours
CM : introduction à l'IA, aux systèmes cognitifs, approches cognitiviste et constructiviste.
Ateliers thématiques sur des sujets en lien avec la cognition.
Environnements Informatiques pour l'Apprentissage Humain (EIAH)
Univ. Lyon 1 - M2 Intelligence Artificielle (IA)
Responsable de l'UE.
Page web du cours
CM : introduction aux EIAH, IA dans les EIAH, Adaptive Learning.
TP : manipulation d'EIAH, Adaptive Learning.
Master 2 Mention Informatique, Parcours Intelligence Artificielle (IA)
Université Lyon 1
Responsable de la formation.
Page web de la formation