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,
License: L. Dumont, various courses, 64h, Université Paris-Sud,
License: Th. Sibut-Pinote, various courses, 64h, École Polytechnique,
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
Combination of decision procedures in presence of
Polytechnique, supervised by A. Mahboubi (jointly with
S. Graham-Lengrand from LIX).
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.