Vous pouvez télécharger mon CV au format PS ou au format PDF.

Présentation

Sylvain Chevillard
né le 6 mai 1983
à Paris XIII
prenom.nom@ens-lyon.fr

Publications

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.

J'ai co-encadré, avec J. Leblond, la thèse de Konstantinos Mavreas (2015-2020).

2022 : intervention 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.

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.

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.

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.