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, 18h, M2, MPRI, France

• Agrégation de Mathématiques : A. Bostan, Préparation épreuve de modélisation, option C, 12h, ÉNS Cachan, France

Supervision

• PhD: B. Morcrette, Combinatoire analytique et modèles d'urnes, June 2013, Ph. Flajolet, M. Soria and Ph. Dumas

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

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

• PhD in progress: P. Lairez, Algorithmique efficace pour la création télescopique, et ses applications, September 2011, A. Bostan and B. Salvy

• L3: D. Rouhling, ÉNS Lyon, Proof search modulo a theory in sequent calculus, June–July 2013, S. Graham-Lengrand (CNRS, LIX) and A. Mahboubi

Juries

• A. Mahboubi has served as examiner in the PhD jury of Mahfuza Farooque, Automated reasoning techniques as proof-search in sequent calculus, December 19, 2013.

• A. Bostan has served as examiner in the PhD jury of Basile Morcrette, Combinatoire analytique et modèles d'urnes, Université Paris 6, June 26, 2013.