Enseignement
Tous les documents produits dans le cadre de mon enseignement sont disponibles depuis cette page, et utilisables sans restriction à des fins d’enseignement. Les commentaires, suggestions et corrections sont bienvenus. Des sources et corrigés sont disponibles sur demande.
Mes polycopiés les plus aboutis sont disponibles sur la plateforme CEL : Cours en ligne avec une licence permettant les réutilisations.
Some documents are available in English, indicated with a british flag. Feel free to use them. Any comment or correction is welcome.
Enseignement de l’année :
Automne
Printemps
Liste thématique
Algorithmique
- Algorithmique
- L3 (2023-)
- types abstraits de données et implantations, diviser pour régner, recherche exhaustive, programmation dynamique, algorithmes probabilistes, algorithmes d'approximation
- Algorithmique 4
- L3 (2021-2022)
- recherche exhaustive, algorithmes probabilistes, analyse amortie, fonctions de hachage, algorithmes d'approximation
- Algorithmique probabiliste
- M1 (2016-2020)
- conception et analyse d'algorithmes probabilistes, structures de données probabilistes, approximation probabiliste
- Algorithmique et complexité
- L2 (2018-2020)
- arbres et graphes, algorithmes glouton, diviser pour régner, programmation dynamique
- Algorithmique avancée
- DIU EIL (2018-2020)
- arbres et graphes, programmation dynamique, recherche textuelle, calculabilité et complexité
- TD d'algorithmique
- L3 (2011-2013)
- diviser-pour-régner, programmation dynamique, algorithmes gloutons, analyse de complexité (bornes inférieures, supérieures, analyse amortie, séries génératrices), structures de données (listes, tableaux, tables de hachage), NP-complétude et algorithmes d’approximation.
Cryptographie
- Introduction to cryptology
- M1 (2022-)
- symmetric and asymmetric encryption, key exchange, (cryptographic) hash functions, message authentication codes, signatures, provable security
- Crypto Engineering
- M2 (2022-2023)
- symmetric encryption, hash functions, message authentication codes
- Cryptographie
- M1 (2021-2022)
- chiffrement symétrique et asymétrique, échange de clefs, fonctions de hachage (cryptographiques), codes d'authentification, signatures, sécurité prouvée
Algèbre, calcul formel, codes correcteurs
- Algèbre et arithmétique effectives
- L3 (2022-2024)
- entiers et entiers modulaires, structures algébriques, algèbre linéaire exacte
- Calcul formel et scientifique
- L3 (2021-2022)
- découverte du logiciel SageMath
- Théorie de l'information
- M1 (2021-2022)
- codes de Reed-Solomon et leur décodage
- Calcul formel, codes et cryptographie
- M2 (2015-2022)
- algorithmique entière naïve, algorithmique polynomiale rapide, un peu de codes correcteurs et de cryptographie
Complexité et calculabilité
- Modèles de calcul – machines de Turing
- L3 (2023-)
- machines de Turing, (in)calculabilité
- TD de Complexité algorithmique
- M1 (2010-2012)
- classes de complexité : en temps ou en espace, déterministes, non-déterministes, probabilistes, non-uniformes, parallèles ; problèmes complets ; hiérarchies
- TD de Fondements de l'Informatique
- L3 (2010-2011)
- automates, grammaires, réécriture
Formation des enseignants
- Préparation au CAPES
- M1 MEEF (2016-2022)
- quelques cours et TD de préparation au CAPES, (assez) nombreux sujets d'écrits blancs
- Algorithmique avancée
- DIU EIL (2018-2020)
- arbres et graphes, programmation dynamique, recherche textuelle, calculabilité et complexité
- Représentation des données
- DIU EIL (2018-2020)
- représentation des nombres, représentation des images
Liste chronologique
Année 2025-2026
-
Algorithmique : Algorithmique
Responsable du cours
L3 M&I, Université Grenoble-Alpes
-
INF304 : Bases du développement logiciel. Modularisation, tests
L2 informatique, Université Grenoble-Alpes
-
IntroCrypto : Introduction to cryptology
Responsable du cours
M1 Informatique, MOSIG et AM, Université Grenoble-Alpes
-
MCAL-MT : Modèles de calcul : machines de Turing
Responsable du cours
L3 Informatique, Université Grenoble-Alpes
Année 2024-2025
-
Algorithmique : Algorithmique
Responsable du cours
L3 M&I, Université Grenoble-Alpes
-
IntroCrypto : Introduction to cryptology
Responsable du cours
M1 Informatique, MOSIG et AM, Université Grenoble-Alpes
-
MCAL-MT : Modèles de calcul : machines de Turing
Responsable du cours
L3 Informatique, Université Grenoble-Alpes
Année 2023-2024
-
AAE : Algèbre et arithmétique effectives
Responsable du cours
L3 M&I, Université Grenoble-Alpes
-
Algorithmique : Algorithmique
Responsable du cours
L3 M&I, Université Grenoble-Alpes
-
IntroCrypto : Introduction to cryptology
Responsable du cours
M1 Informatique, MOSIG et MSIAM, Université Grenoble-Alpes
-
MCAL-MT : Modèles de calcul : machines de Turing
Responsable du cours
L3 Informatique, Université Grenoble-Alpes
Année 2022-2023
-
AAE : Algèbre et arithmétique effectives
Responsable du cours
L3 M&I, Université Grenoble-Alpes
-
CryptoEng : Cryptographic engineering
Responsable : Clément Pernet
M2 Cybersecurity, Université Grenoble-Alpes
-
IntroCrypto : Introduction to cryptology
Responsable du cours
M1 Informatique, MOSIG et MSIAM, Université Grenoble-Alpes
Année 2021-2022
-
HAI503I : Algorithmique 4
Responsable du cours
L3, Université de Montpellier
-
HAI507I : Calcul formel et scientifique
L3, Université de Montpellier
-
HAI709I : Fondements cryptographiques pour la sécurité
Responsable du cours
M1, parcours Algo, IASD et Imagine, Université de Montpellier
-
HAI906I : Calcul formel avancé et applications
Responsable du cours
M2, parcours Algo, Université de Montpellier
Année 2020-2021
-
CAPES : Préparation au CAPES NSI
Responsable de la préparation aux écrits et intervenants en leçons.
M1 MEEF, Université de Montpellier
-
HLIN401 : Algorithmique et complexité
Responsable du cours
L2, Université de Montpellier
-
HMIN118 : Théorie de l'information
Responsable du cours
M1 Informatique, Informatique théorique, DECOL et Imagina, Université de Montpellier
-
HMIN119 : Méthodes et algorithmes probabilistes
Responsable du cours
M1 Informatique, parcours Informatique théorique et DECOL, Université de Montpellier
-
HMIN331 : Calcul formel, codes et cryptographie
Responsable du cours
M2, parcours Informatique Théorique et Math-Info, Université de Montpellier
Année 2019-2020
-
CAPES : Préparation au CAPES NSI
Responsable de la préparation aux écrits et intervenants en leçons.
M1 MEEF, Université de Montpellier
-
DIU-EIL : Diplôme inter-universitaire « Enseignement de l'informatique au lycée »
Responsable du diplôme pour l'académie de Montpellier ; responsable du bloc de formation « Algorithmique avancée ».
Formation continue des enseignants, académie de Montpellier
-
HLIN401 : Algorithmique et complexité
Responsable du cours
L2, Université de Montpellier
-
HMIN118 : Théorie de l'information
Responsable du cours
M1 parcours MIT et Imagina, Université de Montpellier
-
HMIN119 : Méthodes et algorithmes probabilistes
Responsable du cours
M1 parcours MIT et Math-Info, Université de Montpellier
-
HMIN331 : Calcul formel, codes et cryptographie
Responsable du cours
M2 parcours MIT et Math-Info, Université de Montpellier
Année 2018-2019
-
CAPES : Préparation à l'option informatique du CAPES de mathématiques
Responsable du cours
M1 MEEF parcours mathématiques, Université de Montpellier
-
DIU-EIL : Diplôme inter-universitaire « Enseignement de l'informatique au lycée »
Responsable du diplôme pour l'académie de Montpellier.
Formation continue des enseignants, académie de Montpellier
-
HLIN401 : Algorithmique et complexité
Responsable du cours
L2, Université de Montpellier
-
HMIN119 : Méthodes et algorithmes probabilistes
M1, Université de Montpellier
-
HMIN331 : Calcul formel, codes et cryptographie
Responsable du cours
M2 parcours MIT, Université de Montpellier
Année 2017-2018
-
CAPES : Préparation à l'option informatique du CAPES de mathématiques
Responsable du cours
M1 MEEF parcours mathématiques, Université de Montpellier
-
HLIN401 : Algorithmique et complexité
Chargé de TD/TP. Responsable : Hervé Dicky
L2, Université de Montpellier
-
HLIN612 : Complexité et calculabilité
Chargé de TD. Responsable : Jean-Claude König
L3, Université de Montpellier
-
HMIN119 : Méthodes et algorithmes probabilistes
M1, Université de Montpellier
-
HMIN331 : Calcul formel, codes et cryptographie
Responsable du cours
M2 parcours MIT, Université de Montpellier
Année 2016-2017
-
CAPES : Préparation à l'option informatique du CAPES de mathématiques
Responsable du cours
M1 MEEF parcours mathématiques, Université de Montpellier
-
HLIN101 : Introduction à l'algorithmique et la programmation
Chargé de TD/TP. Responsable : Philippe Janssen
L1, Université de Montpellier
-
HMIN119 : Méthodes et algorithmes probabilistes
M1, Université de Montpellier
-
HMIN331 : Calcul formel, codes et cryptographie
Responsable du cours
M2 parcours MIT, Université de Montpellier
Année 2015-2016
-
HLIN101 : Introduction à l'algorithmique et la programmation
Chargé de TD/TP. Responsable : Philippe Janssen
L1, Université de Montpellier
-
HLIN203 : Modèles de calcul
L1, Université de Montpellier
-
HLIN401 : Algorithmique et complexité
Chargé de TD. Responsable : Hervé Dicky
L2, Université de Montpellier
-
HMIN119 : Méthodes et algorithmes probabilistes
M1, Université de Montpellier
-
HMIN331 : Calcul formel, codes et cryptographie
M2 parcours MIT, Université de Montpellier
Année 2014-2015
-
FMIN104 : Réseaux et Communications
M1 Informatique, Université de Montpellier
-
GMIN10E : Analyse et conduite de projets
M1 Informatique & M2 Bioinformatique, Université de Montpellier
-
HLIN101 : Introduction à l'algorithmique et la programmation
Chargé de TD/TP. Responsable : Philippe Janssen
L1, Université de Montpellier
-
HLIN501 : Algorithmique de graphes
L3 Informatique et Maths-Info, Université de Montpellier
Année 2013-2014
-
INF311 : Introduction à l'informatique
Première année, École Polytechnique
-
INF441-Web : Développement d'applications Web
Deuxième année, École Polytechnique
Année 2012-2013
-
Algo1 : Algorithmique 1
Chargé de TD. Responsable :
Éric Fleury. TDs préparés avec Théophile Trunck
L3, ENS Lyon
-
LIF3 : Programmation récursive et fonctionnelle
L1, UCBL.
Année 2011-2012
-
Algo1 : Algorithmique 1
Chargé de TD. Responsable :
Éric Fleury. TDs préparés avec Émilie Diot
L3, ENS Lyon.
-
Complexite : Complexité Algorithmique
M1, ENS Lyon.
Année 2010-2011
Dernière modification : 27 mars 2026