Curriculum Vitae (en français)

Formation et recherche

2000 - ?

Chargé de Recherche INRIA au Loria (projet POLKA, puis projet SPACES), puis au LIP / École Normale Supérieure de Lyon (projet Arénaire, puis projet AriC).

1996 - 1999

Thèse: Moyens arithmétiques pour un calcul fiable, sous la direction de Jean-Michel Muller, au Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon). Soutenue le 10 janvier 2000.

Jury: Paul Zimmermann, Jean-Marie Chesneaux (rapporteurs); Brigitte Vallée, Peter Kornerup, Jean-Michel Muller (membres).

1997

Agrégation de Mathématiques.

1995 - 1996

DEA d'Informatique de Lyon, mention bien.

(Voir l'appendice pour le contenu.)

Magistère d'Informatique et Modélisation de l'École Normale Supérieure de Lyon, mention bien.

1994 - 1995

Maîtrise d'Informatique du Magistère de l'École Normale Supérieure de Lyon, mention assez bien.

(Voir l'appendice pour le contenu.)

1993 - 1994

Licence d'Informatique du Magistère de l'École Normale Supérieure de Lyon, 1^er, mention très bien.

(Voir l'appendice pour le contenu.)

1991 - 1993

Classes préparatoires aux Grandes Écoles (Pierre de Fermat, Toulouse).

Entrée à l'ENS de Lyon.

1991

Baccalauréat section C (mention bien).

Stages

Été 1994

Projet de 6 semaines sur les modèles numériques de terrains et la réalité virtuelle sous la direction de Jean-Pierre Jessel (maître de conférences) à l'IRIT (Institut de Recherche en Informatique de Toulouse).

Été 1995

Stage de 3 mois sur une représentation redondante binaire des rationnels basée sur des fractions continues, sous la direction du Pr Peter Kornerup, à l'Université d'Odense (Danemark).

1996

Stage de DEA (4 mois) sur l'arrondi exact des fonctions élémentaires sous la direction de Jean-Michel Muller, au Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon).

Expérience professionnelle dans l'enseignement

1997 - 1998

30 heures de TD d'architectures et programmation parallèles au magistère d'informatique et modélisation de l'ENS de Lyon.

30 heures de TD de C et de Scheme (programmation fonctionnelle) à l'Université Claude Bernard Lyon 1.

1998 - 1999

48 heures de TD de mathématiques en DEUG première année, à l'Université Claude Bernard Lyon 1.

1999 - 2000

36 heures de TP de Scheme et 10 heures de TP de Maple à l'Université Claude Bernard Lyon 1.

30 heures de TD d'architectures avancées au magistère d'informatique et modélisation de l'ENS de Lyon.

2003

10 heures de cours d'arithmétique flottante au DEA d'Informatique de l'Université Henri Poincaré Nancy 1.

2006

24 heures de cours-TD d'arithmétique des ordinateurs au Master Ingénierie Mathématique 2^e année de l'École ISFA, Université Claude Bernard Lyon 1.

2007

24 heures de cours-TD d'arithmétique des ordinateurs au Master Ingénierie Mathématique 2^e année de l'École ISFA, Université Claude Bernard Lyon 1.

2008

24 heures de cours-TD d'arithmétique des ordinateurs au Master Ingénierie Mathématique 2^e année de l'École ISFA, Université Claude Bernard Lyon 1.

Récompenses et prix divers

• Championnat International des Jeux Mathématiques et Logiques:

  • 1^er en 1988 (catégorie C2).

  • 2^e en 1991 (catégorie L1).

  • 1^er en 1993 (catégorie L2).

  • 4^e en 2000 (catégorie HC).

  • 4^e en 2006 (catégorie HC).

  • 4^e en 2010 (catégorie HC).

  • 5^e en 2011 (catégorie HC).

  • 4^e en 2012 (catégorie HC).

• Prix Fermat Junior de mathématiques, 1991.

• Concours Général de Mathématiques: 2^e prix (en 1991).

• Olympiade Internationale de Mathématiques:

  • 3^e prix (médaille de bronze) en 1991 (en Suède).

  • 2^e prix (médaille d'argent) en 1992 (en Russie).

• Prix du Club Scientifique et Technologique de l'AETG (Association des Établissements du Technopôle de Gerland), 1999, pour mon travail de thèse intitulé Arrondi contrôlé des fonctions pour une meilleure fiabilité des logiciels numériques.

• Médaille du Loria en 2005, en tant que membre de l'équipe MPFR, pour avoir gagné la compétition amicale Many Digits (Université de Radboud, Nimègue, Pays-Bas, 3–4 octobre 2005).

• Prix La Recherche 2013 dans la catégorie Sciences de l'information (avec Peter Kornerup, Nicolas Louvet et Jean-Michel Muller).

Langages de programmation

• C, Pascal, Perl, scripts shell, ECMAScript, notions de Fortran.

• Assembleurs: 6502, 680x0, Saturn, Sparc, ARM.

• Scheme, RPL, notions de Prolog3, Eiffel3, notions de Smalltalk, XSLT.

Langues étrangères

Anglais

University of Cambridge, International Examinations: First Certificate in English.

Allemand

Notions.

Passe-temps et autres expériences

• Informatique depuis 1982 (sur Apple II, Atari ST, Acorn / RISC OS, et systèmes Unix).

• Séjours à l'étranger: Angleterre, USA, Danemark, Allemagne.

• Musique classique (piano).

Appendice