Raphaël Carroy –

Raphaël Carroy
Expérience professionnelle
Depuis l’automne Postdoctorant, Kurt Gödel Research Center, Universität Wien, Autriche.
2016 Domaine de recherche: logique et théorie descriptive des ensembles.
2014–2016 Postdoctorant, Università di Torino, Italie.
Printemps 2014 Postdoctorant, Universität Münster, Allemagne.
2012–2013 Bourse de recherche, Università di Torino, Italia.
2011–2012 Assistant Temporaire d’Enseignement et de Recherche, Université Paris 7,
France.
2008–2011 Assistant/Doctorant, Université de Lausanne, Suisse.
Cursus Universitaire
2008–2013 Doctorat de Mathématiques, Paris 7 & Université de Lausanne (cotutelle).
Spécialité: Logique Mathématique et Fondement de l’Informatique
Directeurs: Olivier Finkel & Jacques Duparc
Thèse: Fonctions de première classe de Baire
Soutenance: 25 juillet 2013
2007–2008 Master de Logique Mathématique, Université Paris 7.
Spécialité: Logique Mathématique et Fondement de l’Informatique
Directeur: Olivier Finkel
Mémoire: Structures automatiques
2002–2007 Master de Mathématiques, Université Paris 6.
Spécialité: Algèbre et Géométrie
Directeur: Nicolas Bergeron
Mémoire: Variétés hyperboliques compactes
2003–2006 Licence de Philosophie, Université Panthéon-Sorbonne.
Juin 2002 Baccalauréat, Paris.
Prix
2015 INdAM fellowship, Istituto Nazionale d’Alta Matematica.
2014 Prix Paul Bernays, Société Suisse de Logique et Philosophie des Sciences.
http://www.sslps.unibe.ch/Bernays.html
Recherche
Articles
2016 Basis for functions beyond the first Baire class, avec B.D.Miller, en préparation.
2014 Topological embeddability among functions: Order and Chaos, avec Y.Pequignot
and Z.Vidnyánszky, en préparation.
2016 Linear orders: when embedding and epimorphism coincide, avec R.Camerlo and
A.Marcone, en préparation.
B [email protected]
•
Í www.logique.jussieu.fr/∼carroy
1/4
2016 Descriptive Cosmology, avec J.Comparat, en préparation.
2016 Open graphs, Hurewicz-style dichotomies and the Jayne-Rogers Theorem, avec
B.D.Miller, soumis.
2016 Sigma-continuity with closed witnesses, avec B.D.Miller, soumis.
2015 Epimorphisms between linear orders, avec R.Camerlo and A.Marcone, Order, 32,
pp. 387-400
2014 From well to better, the space of ideal, avec Y.Pequignot, Fundamenta Mathematicae, 227, pp. 247-270
2014 Playing in the first Baire class, Mathematical Logic Quaterly, 60, 1-2, pp. 118-132
2013 A quasi-order on continuous functions, Journal of Symbolic Logic, 78, 2, pp.
633-648
2012 Decomposing Baire class one functions, Future Directions for Logic, Proceedings
of PhD’s in Logic III, pp 1–11
Conférences et Séminaires
4 Novembre 2016 Logic research seminar, Linear orders: when embedding and epimorphism coincide,
Université de Barcelone, Espagne.
3 Novembre 2016 KGRC Research seminar, Linear orders: when embedding and epimorphism coincide, Universität Wien, Autriche.
17 Octobre 2016 Prag-Vienna Set Theory Workshop 2016, Topological embeddability between
functions, Prag University, Czech Republic.
12 Juillet 2016 Oberseminar, When embeddings meet epimorphisms, Universität Bonn, Allemagne.
14 Juin 2016 Young Set Theory Workshop, Comparing functions., Université de Copenhage,
Danemark.
19 Janvier 2016 Well Quasi-Orders in Computer Science, Ordering functions, Leibniz Zentrum
für Informatik, Allemagne.
20 Novembre 2015 SSLPS Annual Meeting, Classifying functions between 0-dimensional Polish
spaces, Université de Lausanne, Suisse.
17 Novembre 2015 Séminaire de Mécanique Céleste, Logic & Celestial Mechanics, Université de
Turin, Italie.
3 Novembre 2015 Groupe de travail en théorie descriptive des ensembles, Ordres totaux fortement surjectifs, Université Paris 6, France.
25 Septembre 2015 P.O.I. Workshop on Pure and Descriptive Set Theory, Epimorphisms between
linear orders, Université de Turin, Italie.
8 Septembre 2015 XX Congresso dell’Unione Matematica Italiana, Ordering functions, Sienne,
Italie.
27 Janvier 2015 Workshop on Wadge theory and automata, Introduction to automata theory,
Université de Turin, Italie.
26 Mai 2014 Oberseminar, Entre bons et meilleurs, l’espace des idéaux, Universität Münster,
Allemagne.
10 Mars 2014 Séminaire général de logique, Classification de fonctions continues entre espaces
polonais 0-dimensionels, Université Paris 7, France.
26 Janvier 2014 Winter school in abstract analysis, Classifier des fonctions, Hejnice, République
tchèque.
18 October 2013 Groupe “Philosophie et Mathématique, XIX-XXème siècles", Introduction à
la théorie descriptive des ensembles, SPHERE, Paris 7, France.
B [email protected]
•
Í www.logique.jussieu.fr/∼carroy
2/4
16 Octobre 2013 Rencontre de Logique et Cosmologie, Introduction à la logique du premier ordre,
CPPM, Université Aix-Marseille, France.
16 Avril 2013 Seminario di logica, Quelques questions concernant les fonctions continues entre
espaces 0-dimensionels, Université de Udine, Italie.
Printemps 2013 Séminaire de logique et théorie des ensembles, Quelques variations en théorie
descriptive des ensembles, Université de Turin, Italie.
Novembre 2011 Groupe de travail en Théorie Descriptive des Ensembles, L’ordre de plongement
sur les fermés, 3 séances, Université Paris 6, France.
27 Février 2011 PhDs in Logic III, Decomposing Baire class one functions, Brussel.
Organisation
Septembre 2015 P.O.I. Workshop on Pure and Descriptive Set Theory, Université de Turin,
Italie
http://logicatorino.altervista.org/POImeeting1509/index.html
Janvier 2015 Workshop on Wadge theory and Automata, Université de Turin, Italie
Enseignement
Travaux Dirigés
Printemps
Printemps
Automne
Printemps
Automne
Printemps
Automne
2012
2012
2010
2010
2009
2009
2008
Indécidabilité et incomplétude, Université Paris 7, Master 1.
Algèbre et analyse 2, Université Paris 7, Bachelor 1.
Logique Mathématique 1, Ecole Polytechnique Fédérale de Lausanne, Bachelor 3.
Théorie des ensembles, EPFL, Master 1.
Logique Mathématique 1, EPFL, Bachelor 3.
Théorie des ensembles, EPFL, Master 1.
Logique Mathématique 1, EPFL, Bachelor 3.
Encadrement d’étudiants
Automne 2010 Thierry Lugrin, Les théorèmes d’incomplétude de Gödel, et quelques éléments de
logique du second ordre, Bachelor 3, EPFL.
Printemps 2010 Yann Pequignot, Détermination projective, Master 2, EPFL.
Automne 2009 Kevin Fournier, Détermination de jeux infinis, Master 2, EPFL.
Autres
Referee Pour des revues mathématiques comme: Transactions of the American Mathematical
Society ou Topology and its Applications.
Langues français (langue maternelle), anglais, italien (très bon niveau), allemand (moyen)
B [email protected]
•
Í www.logique.jussieu.fr/∼carroy
3/4