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