Curriculum Vitæ
Born December 16th, 1982Single, 2 children
Academic positions
- Since 09/2010
-
Associate professor (maître de conférences, CNU 27),
Department of Mathematics and Computer Science, Université de Perpignan Via Domitia, Perpignan, France.
Member of DALI team, joint team between UPVD and LIRMM (CNRS: UMR 5506 - Univ. Montpellier). - 01/2010-08/2010
-
Postdoctoral researcher, ParLab (Parallel Computing Laboratory), University of California at Berkeley, Berkeley, USA.
Title: Techniques for the automatic debugging of scientific floating-point programs.
Advisors: James Demmel and Koushik Sen.
Collabration with David H. Bailey and William Kahan. - 10/2009-12/2009
-
Expert INRIA engineer, LIP (Laboratoire de l'Informatique du Parallélisme), École Normale Supérieure de Lyon, Lyon, France.
Task: Software developments for the automatic design and validation of floating-point operators. - 10/2006-09/2009
-
Ph.D. student in Computer Science, LIP, École Normale Supérieure de Lyon, Lyon, France.
Teaching assistant, Department of Mathematics and Computer Science, École Centrale de Lyon, Lyon, France. - 02/2006-06/2006
-
Master's trainee, LIP, École Normale Supérieure de Lyon, Lyon, France, defended on June 26th, 2006.
Title: Analyse et implantation d'algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants.
Advisor: Claude-Pierre Jeannerod. - 01/2005-09/2005
-
Computer Engineer's trainee, LEOM, École Centrale de Lyon.
Title: Development of a platform for automated design of integrated multi-domain systems.
Advisor: Ian O'Connor. - 09/2003-02/2004
-
Fourth year Engineer Degree's trainee (assistant engineer), Intelligent Virtual Environments laboratory, Virtual Reality Centre, University of Teesside, Middlesbrough, United Kingdom.
Title: Development of an application to build the elements of interactive stories.
Advisor: Fred Charles and Marc Cavazza. - 04/2002-06-2002
-
DUT's trainee, LEOM, École Centrale de Lyon.
Title: Development of the graphical interface of a 2D physical simulator based on a FDTD algorithm.
Advisor: Frédéric Gaffiot.
Academic degrees and qualifications
- 2023
-
Habilitation à diriger des recherches in Computer Science, Université de Perpignan Via Domitia, defended on July 18th, 2023.
Title: Contribution to the automated generation of programs in computer arithmetic.
Jury: S. Boldo (Inria Saclay Île-de-France), M. Cornea (Intel Corporation, USA), F. de Dinechin (INSA Lyon), L. Lacassagne (Sorbonne Univ), M. Martel (Univ Perpignan Via Domitia), and O. Sentieys (Univ Rennes). - 2010
- Qualification aux fonctions de Maître de conférences (to become Associate professor), Computer Science, CNU 27.
- 2009
-
Ph.D. in Computer Science, Université de Lyon - École Normale Supérieure de Lyon, defended on December 1st, 2009
(mention Très Honorable).
Title: Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation.
Advisor: Gilles Villard - Co-advisor: Claude-Pierre Jeannerod.
Jury: Ch. Bertin (ST Microelectronics Grenoble), Javier D. Bruguera (reviewer, University of Santiago de Compostela), C.-P. Jeannerod (Inria, LIP ENS Lyon), M. Martel (reviewer, UPVD), G. Villard (CNRS, LIP ENS Lyon), and P. Zimmermann (Inria, LORIA). - 2006
- Master of Science in Theoretical Computer Science, École Normale Supérieure de Lyon (mention Bien).
- 2005
- Engineer Degree in Computer Science (option Ingénierie des Logiciels et de la Connaissance), Université de Technologie de Belfort-Montbéliard.
- 2002
- DUT in Computer Science (two-year university degree in technology), IUT Informatique de Belfort-Montbéliard.
- 2000
- Baccalauréat scientifique (scientific A-levels) in Mathematics, Lycée Jean Michel, Lons-le-Saunier (39).