Version française

Curriculum Vitae (in English)

Training and Research

2000 - ?

INRIA researcher (Chargé de Recherche) at Loria (POLKA project, then SPACES project), then at the LIP / École Normale Supérieure de Lyon (Arénaire project, then AriC project).

1996 - 1999

PhD: Computer Arithmetic Tools for Reliable Computing, under the direction of Jean-Michel Muller, at the Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon). Defended on January 10, 2000.

Commitee: Paul Zimmermann, Jean-Marie Chesneaux (reporters); Brigitte Vallée, Peter Kornerup, Jean-Michel Muller (members).

1997

Agrégation de Mathématiques.

1995 - 1996

DEA d'Informatique de Lyon, mention bien.

(See Appendix for contents.)

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.

[Master's degree in Mathematics and Computer Science, ENS Lyon.]

(See Appendix for contents.)

1993 - 1994

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

[Bachelor's degree in Mathematics and Computer Science, ENS Lyon, ranked 1st, with distinction.]

(See Appendix for contents.)

1991 - 1993

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

Entrance to ENS Lyon.

1991

Baccalauréat section C (mention bien).

[High School Diploma in Maths and Physics.]

[A Levels in Maths and Physics.]

Training Periods

Summer 1994

A 6-week project on Digital Terrain Models and Virtual Reality under the direction of Jean-Pierre Jessel (Associate Professor) at the IRIT (Institut de Recherche en Informatique de Toulouse).

Summer 1995

A 3-month training period on a Redundant Binary Representation of the Rationals based on Continued Fractions, under the direction of Pr Peter Kornerup, at Odense University (Denmark).

1996

A 4-month training period on the Exact Rounding of the Elementary Functions, under the direction of Jean-Michel Muller, at the Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon).

Prizes

Programming Languages

Foreign Languages

English

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

German

Notions.

Hobbies and Other Experience

Appendix

Licence d'Informatique du Magistère de l'ENS de Lyon [Bachelor's degree]

  • Algorithms and Advanced Algorithms.

  • Programming and Data Structures (Scheme, C, Pascal, Prolog).

  • Basic Systems and Basic Languages (Sparc).

  • Computer Architecture.

  • Integrated Circuits.

  • Operating Systems.

  • Image Synthesis and Analysis.

  • Automata and Formal Languages.

  • Logic.

  • Algebra and Theory of Numbers.

Maîtrise d'Informatique du Magistère de l'ENS de Lyon [Master's degree]

  • Parallel Architectures and Algorithms.

  • Parallel Programming.

  • Networks and Distributed Systems.

  • Object Oriented Languages (Eiffel, SmallTalk).

  • Compilation.

  • Image Analysis.

  • Discrete Mathematics.

  • Calculability and Complexity.

DEA d'Informatique de Lyon

  • Scheduling Techniques.

  • Shape Recognition.

  • Real-time Architectures.

  • Calculability, Complexity.

  • Metaknowledge.

  • Computer Arithmetic.

  • Integrated Architectures Synthesis.

  • Cellular Automata.

  • Graphs and Orders.



webmaster@vinc17.org