Curriculum Vitæ

Born December 16th, 1982
Single, 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, 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).