Section: Dissemination

Teaching - Supervision - Juries

Teaching

• License:

  • Louis Dumont, two L1 maths courses, 64h, Université Paris-Sud, France.

• Master:

  • Assia Mahboubi, Proof Assistants, 18h, M2, Denis Diderot University (Paris), France.

  • 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.

Supervision

• PhD in progress: Thomas Sibut-Pinote, “Calcul numérique et démonstrations mathématiques: de la rigueur à la preuve formelle”, September 2014, Assia Mahboubi

• PhD in progress: Louis Dumont, “Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre”, started in September 2013, supervised by Alin Bostan and B. Salvy.

• Master intership (M1): G. Boisseau and Th. Huffschmitt, Combination of decision procedures in presence of meta-variables, École Polytechnique, supervised by Assia Mahboubi (jointly with S. Graham-Lengrand from LIX).

Juries

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

• Alin Bostan has served as an examiner in the PhD jury of Aladin Virmaux, Théorie des représentations combinatoires de tours de monoïdes, Application à la catégorification et aux fonctions de parking, Université Paris-Saclay, June 13, 2016.