EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

  • Alin Bostan has served as a jury member of the French Agrégation de Mathématiques – épreuve de modélisation, option C.

Teaching

  • Licence:

    • Thomas Sibut-Pinote, Les bases de la programmation et de l'algorithmique, 32h, L3, École polytechnique, France.

    • Thomas Sibut-Pinote, Les principes des langages de programmation, 32h, L3, École polytechnique, France.

  • Master:

    • Frédéric Chyzak, Algorithmes efficaces en calcul formel, 18h, M2, MPRI, France.

    • Alin Bostan, Algorithmes efficaces en calcul formel, 40.5h, M2, MPRI, France.

    • Pierre Lairez, Algorithmique avancée, 18h, M1, École polytechnique, France.

    • Assia Mahboubi, Algorithmes d'élimination des quantificateurs, 3h, M2, Université Rennes 1, France.

Supervision

  • HdR : Alin Bostan, Computer algebra for lattice path combinatorics [1], Université Paris 13, December 15, 2017.

  • PhD : Thomas Sibut-Pinote, Investigations en Mathématiques Assistées par Ordinateur: Expérimentation, Calcul et Certification, Université Paris-Saclay, December 4, 2017.

Juries

  • Frédéric Chyzak has served as an examiner in the PhD jury of Cyril Hugounenq Volcans et calcul d'isogénies, Université de Versailles – Saint-Quentin-en-Yvelines, September 25, 2017.

  • Frédéric Chyzak has been a member of the hiring jury at Inria (Concours CR 2017).

  • Georges Gonthier served on the Habilitation à diriger des Recherches of Paul-André Melliès Une étude micrologique de la négation, Université Paris Diderot, November 20, 2017.

  • Assia Mahboubi has been a member of the hiring jury at Inria (Concours CR 2017).

  • Assia Mahboubi has served as an examiner in the PhD jury of Evmorfia-Iro Bartzia Une formalisation des courbes elliptiques pour la cryptographie, Université Paris-Saclay, February 15, 2017.

  • Assia Mahboubi has served as an examiner in the PhD jury of Étienne Miquey Réalisabilité classique et effets de bord, Université Paris Diderot, November 17, 2017.

  • Assia Mahboubi has been a member of the hiring jury of a Maître de conférence position at Université Paris Diderot.