Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Nicolas Brisebarre, Introduction to Effective Approximation Theory (24h), Hanoi Institute of Mathematics (Vietnam).

• Master: Claude-Pierre Jeannerod, Nathalie Revol, Algorithmique numérique et fiabilité des calculs en arithmétique flottante (24h), M2 ISFA (Institut de Science Financière et d'Assurances), Université Claude Bernard Lyon 1.

• Master: Fabien Laguillaumie, Cryptography, Error Correcting Codes, 150h, Université Claude Bernard Lyon 1.

• Master: Vincent Lefèvre, Arithmétique des ordinateurs (20h), M2 ISFA (Institut de Science Financière et d'Assurances), Université Claude Bernard Lyon 1.

• Master: Benoît Libert, Advanced cryptographic protocols, 24h, ENS de Lyon; Computer science and privacy, 12h, ENS de Lyon; Cryptography, 12h, ENS de Lyon; Public-key cryptology, (21h), M2 ISFA (Institut de Science Financière et d'Assurances), Université Claude Bernard Lyon 1.

• Master: Bruno Salvy, Calcul Formel (9h), MPRI.

• Master: Bruno Salvy, Mathématiques expérimentales (44h), École polytechnique.

• Master: Bruno Salvy, Logique et complexité (32h), École polytechnique.

• Master: Damien Stehlé, Cryptography, 24h, ENS de Lyon.

• Master: Nicolas Louvet, Compilation (24h), Lyon 1.

• Bachelor: Nicolas Louvet, Algorithmique, Architecture des ordinateurs, Unix, ..., (170h), Lyon 1.

• Professional teaching: Nathalie Revol, Contrôler et améliorer la qualité numérique d'un code de calcul industriel (2h30), Collège de Polytechnique.

• Divers: Bruno Salvy, Introduction à la D-finitude (2h), Leçons de mathématiques d'aujourd'hui, Bordeaux.

Supervision

• PhD in progress: Louis Dumont, Algorithmique efficace pour les diagonales, applications en combinatoire, physique et théorie des nombres, since September 2013, co-supervised by Alin Bostan (SpecFun team) and Bruno Salvy.

• PhD in progress: Silviu Filip, Filtroptim : tools for an optimal synthesis of numerical filters, since September 2013, co-supervised by Nicolas Brisebarre and Guillaume Hanrot.

• PhD in progress: Stephen Melczer, Effective analytic combinatorics in one and several variables, since September 2014, co-supervised by George Labahn (U. Waterloo, Canada) and Bruno Salvy.

• PhD in progress: Fabrice Mouhartem, Privacy-preserving protocols from lattices and bilinear maps, since September 2015, co-supervised by Benoît Libert (95%) and Damien Stehlé (5%).

• PhD in progress: Vincent Neiger, Multivariate interpolation in computer algebra: efficient algorithms ans applications, since September 2013, co-supervised by Claude-Pierre Jeannerod and Gilles Villard (together with Éric Schost (Western University, London, Canada)).

• PhD in progress: Marie Paindavoine, Méthodes de calculs sur des données chiffrées, since October 2013 (Orange Labs - UCBL), co-supervised by Fabien Laguillaumie (together with Sébastien Canard).

• PhD in progress : Antoine Plet, Contribution à l'analyse d'algorithmes en arithmétique virgule flottante, since September 2014, co-supervised by Nicolas Louvet and Jean-Michel Muller.

• PhD in progress : Valentina Popescu, Vers des bibliothèques multi-précision certifiées et performantes, since September 2014, co-supervised by Mioara Joldes (LAAS) and Jean-Michel Muller.

• PhD in progress : Serge Torres, Some tools for the design of efficient and reliable function evaluation libraries, since September 2010, co-supervised by Nicolas Brisebarre and Jean-Michel Muller.

• PhD in progress: Weiqiang Wen, Hard problems on lattices, since September 2015, supervised by Damien Stehlé.

Juries

Nicolas Brisebarre was in the PhD committee of Catherine Lelay (LRI, Inria Saclay, Université Paris-Sud) and Esteban Segura Ugalde (XLIM, Université de Limoges).

Fabien Laguillaumie was in the PhD committee of Oliver Sanders (DI, ENS Paris, Orange Labs).

Benoît Libert was a reviewer and a member of the PhD committee for the PhD thesis of Olivier Sanders (DI, ENS Paris, Orange Labs).

Nathalie Revol was in the PhD committee of Qiaochu Li (Université de Technologie de Compiègne).

Bruno Salvy was a reviewer for the PhD thesis of Amaury Pouly (LIX, École polytechnique). He was in the PhD committees of Simone Naldi (LAAS, Toulouse) and Romain Serra (LAAS, Toulouse).

Damien Stehlé was a reviewer for the PhD theses of Thomas Prest (DI, ENS Paris), Zheng Wang (Imperial College, UK), Rina Zeitoun (LIP6, UPMC) and Cheng Shantian (NTU, Singapore). He is in the PhD committee of Thijs Laarhoven (TU Eindhoven, The Netherlands) and in the Habilitation thesis of Ludovic Perret (LIP6, UPMC).