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 Juliette Leblond, les thèse de Konstantinos Mavreas (2015-2020) et d'Anass Yousfi (commencée en 2022, interrompue en 2025 pour des raisons extérieures).
Expériences d'enseignement
- 2023 : montage et animation avec quatre collègues d'un atelier de formation doctorale d'une journée sur les liens entre recherche scientifique et société, en lien avec les crises environnementales.
- 2022- ... : intervention annuelle 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. Dans ce même cadre, encadrement d'un TP sur l'analyse de cycle de vie.
- 2014- ... : colles en MPSI puis en MPI ainsi que préparation aux oraux des concours d'école d'ingénieur 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'École Normale Supérieure (É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.
Responsabilités collectives
- 2010-présent : participation à diverses instances du centre Inria de Sophia Antipolis : comité de centre (deux mandats de 3 ans), comité des équipes-projets, commission restauration (2020-présent). Secrétaire de séance de certains comité des équipes-projets pendant deux ans.
- 2024-présent : élu au comité de gestion locale de l'association de gestion des œuvres sociales (AGOS) de l'Inria et responsabilité de trésorier local. Décharge de 30 heures mensuelles à ce titre.
- 2017-présent : responsable informatique de l'équipe Factas.
É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.