English version

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, 1er, 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 2e 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 2e 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 2e année de l'École ISFA, Université Claude Bernard Lyon 1.

Récompenses et prix divers

Langages de programmation

Langues étrangères

Anglais

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

Allemand

Notions.

Passe-temps et autres expériences

Appendice

Licence d'Informatique du Magistère de l'ENS de Lyon

  • Algorithmique et algorithmique avancée.

  • Programmation et structures de données (Scheme, C, Pascal, Prolog).

  • Système et langages de base (Sparc).

  • Architecture des ordinateurs.

  • Circuits intégrés.

  • Systèmes d'exploitation.

  • Analyse et synthèse d'images.

  • Automates et langages formels.

  • Logique.

  • Algèbre et théorie des nombres.

Maîtrise d'Informatique du Magistère de l'ENS de Lyon

  • Architectures et algorithmes parallèles.

  • Programmation parallèle.

  • Réseaux et systèmes distribués.

  • Programmation orientée objet (Eiffel, SmallTalk).

  • Compilation.

  • Analyse d'images.

  • Mathématiques discrètes.

  • Calculabilité et complexité.

DEA d'Informatique de Lyon

  • Techniques d'ordonnancement.

  • Reconnaissance de formes.

  • Architectures temps-réel.

  • Calculabilité, complexité.

  • Métaconnaissances.

  • Arithmétique des ordinateurs.

  • Synthèse d'architectures intégrées.

  • Automates cellulaires.

  • Graphes et ordres.



webmaster@vinc17.org