Raphaël Carroy –
Transcription
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