Vous pouvez télécharger mon CV au format PDF.
Expérience professionnelle
- Depuis novembre 2010 : chargé de recherche à l'INRIA dans l'équipe Apics, puis son successeur, Factas (Sophia-Antipolis).
- 2009-2010 : post-doc dans l'équipe Cacao (LORIA, Nancy) sous la direction de Paul Zimmermann.
Encadrement d'étudiants
J'ai co-encadré, avec J. Leblond, la thèse de Konstantinos Mavreas (2015-2020). J'encadre actuellement, avec J. Leblond, la thèse d'Anass Yousfi (2022-présent).
Expériences d'enseignement
- 2022- ... : intervention annuelle de 2h en tant qu'enseignant dans un cours intitulé Enjeux environnementaux, plus spécifiquement sur les questions relatives aux gaz à effet de serre et les calculs d'empreinte carbone.
- 2014- ... : colles en MPSI au Centre International de Valbonne (CIV) (2 heures par semaine).
- 2011-2012 : une trentaine d'heures de travaux dirigés pour le cours Mathématiques pour l'ingénieur (niveau L3) à l'école Polytechnique de Nice.
- 2008-2009 : 32 heures de travaux dirigés (niveau M1) pour le cours Arithmétique des ordinateurs à l'ÉNS Lyon.
- 2008-2009 : 39 heures de travaux pratiques (niveau L1) pour le cours LIF1 (introduction à la programmation en C) à l'université Claude Bernard à Lyon.
- 2007-2008 : 32 heures de travaux dirigés (niveau M1) pour le cours Preuves à l'ÉNS Lyon.
- 2007-2008 : 32 heures de travaux dirigés (niveau M1) pour le cours Complexité Turing à l'ÉNS Lyon.
- Juin 2007 : réalisation d'une animation scientifique présentant le concept physique de son à des enfants de CM2.
- 2006-2007 : 32 heures de travaux dirigés (niveau L3) pour le cours Fondements de l'informatique 2 à l'ÉNS Lyon.
- 2006-2007 : 32 heures de travaux dirigés (niveau M1) pour le cours Preuves à l'ÉNS Lyon.
Études
- 2006-2009 : thèse dans l'équipe Arénaire (LIP, Lyon) sous la direction de Nicolas Brisebarre et Jean-Michel Muller.
- 2005-2006 : master 2 d'informatique fondamentale au LIP (ÉNS Lyon). Reçu premier, mention très bien.
- 2004-2005 : préparation de l'agrégation de mathématiques à l'ÉNS Lyon. Reçu 137ème.
- 2003-2004 : maîtrise d'informatique à l'ÉNS Lyon.
- 2002-2003 : licence d'informatique à l'ÉNS Lyon.
- 2002 : admission à l'ÉNS Lyon en magistère d'informatique (MIM).
- 2000-2002 : classes préparatoires (MPSI puis MP*) au lycée Charlemagne à Paris IV.
- 2000 : baccalauréat série S, spécialité mathématiques au lycée Jean Rostand à Chantilly (Oise). Reçu mention très bien.
Stages en laboratoire
- Février-juillet 2006 : polynômes de meilleure approximation à coefficients flottants. Stage de master 2 au LIP (ÉNS Lyon) encadré par Nicolas Brisebarre et Jean-Michel Muller.
- Juin-août 2004 : effectivité du théorème de Dini. Stage de maîtrise à la FernUniversität (Hagen) encadré par Vasco Brattka et Klaus Weihrauch.
- Juin-juillet 2003 : calcul de la fonction erf avec arrondi correct en précision arbitraire. Stage de licence au LIP (ÉNS Lyon) encadré par Nathalie Revol.
Divers
- Informatique : langages Ocaml, C, Python, shell, Coq, LaTeX, HTML (+CSS). Connaissances en Java et Objective C. Maîtrise de GP/Pari, GMP, MPFR, Matlab, Maple.
- Langues : français, anglais, allemand.
- Loisirs : chorale, théâtre.