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

• Algorithmique (L3 informatique, parcours Maths-Info)
• INF304 – Bases du développement logiciel : modularisation, tests (L2 informatique, parcours MIN & INM)

Printemps

• Introduction to cryptology (M1 INFO, MoSIG & AM)
• Modèles de calculs – partie machines de Turing (L3 informatique, parcours informatique générale)

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
    Responsable : Gwenaël Delaval
    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
    Responsable : Pascal Giorgi
    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
    Chargé de CM et TD. Responsable : Anne-Élisabeth Baert
    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
    Chargé de CM et TD. Responsable : Anne-Élisabeth Baert
    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
    Chargé de CM et TD. Responsable : Anne-Élisabeth Baert
    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
    Chargé de TD. Responsable : Bruno Durand
    L1, Université de Montpellier
  • HLIN401 : Algorithmique et complexité
    Chargé de TD. Responsable : Hervé Dicky
    L2, Université de Montpellier
  • HMIN119 : Méthodes et algorithmes probabilistes
    Chargé de CM. Responsable : Anne-Élisabeth Baert
    M1, Université de Montpellier
  • HMIN331 : Calcul formel, codes et cryptographie
    Chargé de CM. Responsable : Pascal Giorgi
    M2 parcours MIT, Université de Montpellier
• Année 2014-2015

  • FMIN104 : Réseaux et Communications
    Chargé de TD/TP. Responsable : Hinde Bouziane
    M1 Informatique, Université de Montpellier
  • GMIN10E : Analyse et conduite de projets
    Chargé de TP. Responsable : Éric Bourreau & Abdelhak-Djamel Seriai
    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
    Chargé de TP. Responsable : Stéphane Bessy
    L3 Informatique et Maths-Info, Université de Montpellier
• Année 2013-2014

  • INF311 : Introduction à l'informatique
    Chargé de TP. Responsable : François Morain
    Première année, École Polytechnique
  • INF441-Web : Développement d'applications Web
    Chargé de TP. Responsable : Olivier Serre
    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
    Chargé de TD. Responsable : Nathalie Guin
    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
    Chargé de TD. Responsable : Natacha Portier
    M1, ENS Lyon.
• Année 2010-2011

  • Complexite : Complexité Algorithmique — Computational Complexity
    Chargé de TD. Responsable : Patrick Baillot
    M1, ENS Lyon.
  • FDI1 : Fondements de l'informatique 1
    Chargé de TD. Responsable : Guillaume Hanrot. TDs préparés avec Kevin Perrot
    L3, ENS Lyon.

Dernière modification : 27 mars 2026