Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: A. Bostan, Algorithmes efficaces en calcul formel, 18h, M2, MPRI, France

• Master: F. Chyzak, Algorithmes efficaces en calcul formel, 4.5h, M2, MPRI, France

• Master: A. Mahboubi, Assistants de preuve, 18h, M2, MPRI, France

• License: L. Dumont, various courses, 64h, Université Paris-Sud, France.

• License: Th. Sibut-Pinote, various courses, 64h, École Polytechnique, France.

Supervision

• PhD in progress: L. Dumont, Algorithmique efficace pour les diagonales, applications en combinatoire, physique et théorie des nombres, École Polytechnique, started in September 2013, supervised by A. Bostan and B. Salvy.

• PhD in progress: Th. Sibut-Pinote, Calcul numérique et démonstrations mathématiques, de la rigueur à la preuve formelle, École Polytechnique, started in September 2014, supervised by A. Mahboubi.

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

Juries

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

• A. Bostan has served as an examiner in the PhD jury of Cuang Tran, Calcul formel dans la base des polynômes unitaires de Chebyshev, Université Paris 6, October 9, 2015.

• F. Chyzak has served as an examiner in the PhD jury of Suzy Maddah, Formal Reduction of Differential Systems, Université de Limoges, September 25, 2015.

• A. Mahboubi has served as an examiner in the half-way PhD defense of Pierre Boutry, Learning environment for interactive proof in geometry, University of Strasbourg, June 15th, 2015.