Curriculum vitae

Curriculum vitae
Silvain Rideau
Adresse :
École normale supérieure
45 rue d’Ulm
75005, Paris
France
Date de naissance :
Email :
Page web :
nationalité :
11 mars 1988
[email protected]
http ://www.eleves.ens.fr/home/srideau
française
Éducation
2011-2014
2010-2011
Spring 2010
Summer 2009
2008–2012
2009–2010
2008–2009
Thèse de Mathematiques, Université Paris-Sud, Orsay.
directeurs : Élisabeth Bouscaren (Université Paris-Sud),
Tom Scanlon (University of California, Berkeley),
sujet :
Éliminations dans les corps valués.
Master 2, Université Paris Diderot (Paris 7).
Master de Logique Mathématique et Fondements de l’Informatique (LMFI),
directeur : Élisabeth Bouscaren,
sujet :
Imaginaires dans les corps p-adiques.
Stage de recherche, Cambridge University
encadrant : Glynn Winskel,
sujet :
Sémantique des jeux concurrents.
Stage de recherche, INRIA, Rocquencourt, France.
encadrant : Xavier Leroy,
sujet :
Compilation certifiée.
Élève à l’École normale supérieure, Paris.
Master 1 de Mathématiques.
Licence 3 in Mathématiques.
Expérience professionnelle
Depuis 2012
Agrégé préparateur, DMA, École normale supérieure, Paris.
Publications et prépublications
en prép.
soumis
1. Imaginaries in differential valued fields.
2. Definable equivalence relations and zeta functions of groups, en commun avec Ehud Hrushovski and Ben Martin, avec un appendice de Raf Cluckers. arXiv :math/0701011.
3. Analytic difference fields. arXiv :1401.1765.
2011
4. Concurrent Strategies, en commun avec Glynn Winskel. In Logic in Computer Science (LICS
2011), pages 409–418, 2011.
2010
5. Validating Register Allocation and Spilling, en commun avec Xavier Leroy. In Compiler Construction (CC 2010), volume 6011 of Lecture Notes in Computer Science, pages 224–243, Springer,
2010.
Exposés invités
2015
Aout
Mai
Helsinski, session de théorie des modèles LC’15 ASL (à venir).
Berkeley, « Arithmetic and algebraic differentiation », en honneur du 60ième anniversaire d’Alexandru Buium (à venir).
MSRI, Berkeley, Model Theory in Geometry and Arithmetic workshop :
Transferring imaginaries : from ACVF to Qp .
2014 Mai
Séminaires et conférences
2015
Jan.
Oxford University (British Postgraduate Model Theory Conference) :
Imaginaries in valued differential fields and the independence property.
2014 Nov. Université Paris Diderot (Séminaire général de logique) :
Problèmes de comptage en théorie des groupes et imaginaires p-adiques.
Sep. Université Paris Diderot (Théorie des modèles et groupes) :
Imaginaires dans les corps valués différentiels.
Juin Université Lille 1 (Séminaire d’arithmétique) : Corps analytiques de différence.
Mar. UC Berkeley (Model theory seminar) : Analytic difference fields.
Jan. University of Leeds (British Postgraduate Model Theory Conference) :
Analytic difference fields, prize for the best talk by a Ph.D. student.
2013 Déc. Université Paris Diderot (Théorie des modèles et groupes) :
Corps analytiques de différence.
Sep. Université Lyon 1 (Séminaire de Logique Mathématique) :
Transferts d’imaginaires : Comment éliminer les imaginaires dans les corps p-adiques.
Avr. UC Berkeley (Model theory seminar) :
Transferring imaginaries : how to eliminate imaginaries in p-adic fields.
Jan. University of Manchester (British Postgraduate Model Theory Conference) :
Transferring imaginaries : how to eliminate imaginaries in p-adic fields.
2012 Déc. Université Paris Diderot (Théorie des modèles et groupes) :
Nombres p-adiques et imaginaires II.
Nov. Université Paris Diderot (Structures algébriques ordonnées ) :
Nombres p-adiques et imaginaires I.
Enseignement
2013-2015
2012-2013
2011-2012
2010–2012
2008–2011
Chargé de TD du cours de logique de Zoé Chatzidakis, École normale supérieure.
Chargé de TD du cours de logique de Martin Hils, École normale supérieure.
Cours de Debatting (British Parliamentary style), École normale supérieure.
« Colles » de mathématiques en MPSI, Lycée Chaptal, Paris.
Tutorat de mathématiques et de physique au lycée, dans le cadre de Talens.
Activités professionnelles
2014–2015
Automne 2013
2012–2015
Co-organisateur d’un séminaire de doctorants, le « Séminaire de l’Abbé Mole ».
Encadrement du mémoire de première année d’élèves de l’École normale supérieure,
sujet : Élimination des quantificateurs dans les corps p-adiques et intégration p-adique.
Tuteurs d’élèves de l’École normale supérieure.
2
Participation à des écoles (d’été) et semestres
Printemps 2014
Octobre 2013
Semestre du MSRI, Berkeley.
sujet : Model Theory, Arithmetic Geometry and Number Theory.
Oberwolfach Seminar, Mathematisches Forschungsinstitut Oberwolfach, Germany.
sujet : Intégration motivique.
Langues
• Français ;
• Englais (couramment).
3