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.