EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

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

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

  • Master : A. Mahboubi, Assistants de preuves, 6h, M2, MPRI, France

  • Doctorat : A. Mahboubi, Lecturer at the Summer School Méthodes Algorithmiques et Applications en Géométrie Algébrique Réelle et Théorie des Nombres, 4.5h, a CIMPA School at AIMS (M’Bour, Sénégal)

  • Doctorat : A. Mahboubi, Lecturer, 12h at the NII Shonan School on Coq, at Shonan (Japan)

  • Research School : A. Mahboubi, Lecturer, 6h, at the Introductory school to the IHP special semester on semantics of formal proofs and certified mathematics, CIRM (Marseille, France)

Supervision

  • HdR: F. Chyzak, The ABC of Creative Telescoping: Algorithms, Bounds, Complexity, University Paris-Sud 11, April 14, 2014 [1]

  • PhD: P. Lairez, Périodes d'intégrales rationnelles : algorithmes et applications, École Polytechnique, November 12, 2014, supervised by A. Bostan and B. Salvy [2]

  • PhD in progress: A. Barillec, Asymptotique automatique certifiée des fonctions spéciales, École Polytechnique, started in September 2013, supervised by F. Chyzak and A. Mahboubi

  • 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, started in September 2014, supervised by A. Mahboubi

  • Master : A. Mahboubi has supervised the Master 2 internship of Thomas Sibut-Pinote (ÉNS Lyon).

Juries

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