Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master:

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

  • Alin Bostan, Modern Algorithms for Symbolic Summation and Integration, 21h, M2, Master d'Informatique Fondamentale de l'ENS de Lyon, France.

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

  • Pierre Lairez, Algorithmique avancée (INF550), TD, 18h, M2, École polytechnique, France.

  • Pierre Lairez, Les bases de la programmation et de l'algorithmique (INF411), TD, 40h, M1, École polytechnique, France.

Juries

• Alin Bostan has served as an examiner in the PhD jury of Robin Larrieu, Arithmétique rapide pour des corps finis, Ecole polytechnique, December 10, 2019.

• Alin Bostan has served as a member of the monitoring PhD committee of Youssef Abdelaziz, Univ. Paris 6.

• Alin Bostan has served as a member of the monitoring PhD committee of Manon Bertin, Univ. Rouen.

• Frédéric Chyzak has served as a reviewer in the PhD jury of Joelle Saade, Méthodes symboliques pour les systèmes différentiels linéaires à singularité irrégulière, Université de Limoges, November 5, 2019.

• Frédéric Chyzak has served as a reviewer in the PhD jury of Amélie Trotignon, Marches sur des réseaux dans des cônes : aspects combinatoires et probabilistes, Université de Tours, December 6, 2019.

• Pierre Lairez has served as a reviewer in the PhD jury of Josué Tonelli-Cueto, Condition and Homology in Semialgebraic Geometry, TU Berlin, November 28, 2019.

• Georges Gonthier has served in the PhD jury of Armaël Guénaud, Mechanized Verification of the Correctness and Asymptotic Complexity of Programs, Université de Paris, December 16, 2019.