Raphaël Carroy - Logique Mathématique
←
→
Transcription du contenu de la page
Si votre navigateur ne rend pas la page correctement, lisez s'il vous plaît le contenu de la page ci-dessous
Raphaël Carroy
Données personnelles
Naissance le 21 Octobre 1984 à Paris, France
Citoyenneté Française
Langues français (langue maternelle), anglais et italien (bon niveau), Allemand (niveau moyen)
Thème de recherche Théorie descriptive des ensembles, Analyse fonctionelle, Théorie des automates, Théorie
des jeux
Contact
Adresse Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger strasse
25, 1090 Wien, Autriche
Email raphael.carroy@univie.ac.at
Page web www.logique.jussieu.fr/∼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
2005–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.
2002–2005 Licence de Mathématiques, Université Paris 6.
Juin 2002 Baccalauréat, Paris.
B raphael.carroy@univie.ac.at • Í www.logique.jussieu.fr/∼carroy 1/5Prix
2015 INdAM fellowship, Istituto Nazionale d’Alta Matematica.
https://www.altamatematica.it/sites/default/files/graduatoria_
assegni2015-15.pdf
2014 Prix Paul Bernays, Société Suisse de Logique et Philosophie des Sciences.
Pour contributions exceptionelles en Logique et Philosophie des Sciences
http://www.sslps.unibe.ch/Bernays.html
Activités Scientifiques
Organisation
Juin 2019 European Set Theory Conference, Vienne, Autriche
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
Séjours de recherche
Février 2017 Università di Torino, Italia; Hôte: Alessandro Andretta
Février 2018 University of California at Los Angeles (UCLA), USA; Hôte: Andrew Marks
Autres
Activités de Referee pour des journaux, tels que Transactions of the American Mathematical Society,
peer-review Proceedings of the AMS, Fundamenta Mathematicae, Computability in Europe (CiE),
Topology and its Applications. Reviewer pour Mathematical Reviews (MathSciNet).
Collaborateurs Alessandro Andretta (Università di Torino), Riccardo Camerlo (Politecnico di Torino),
Johan Comparat (Max Planck Institute Munich), Alberto Marcone (Università di Udine),
Andrea Medini (Universität Wien), Benjamin Miller (U.Wien), Sandra Müller (U.Wien),
Yann Pequignot (UCLA), Dániel Soukup (U.Wien), Zoltan Vidnyánszky (U.Wien)
Membre Unione Matematica Italiana, Associazione Italiana per la Logica e sue Applicazioni
Enseignement
Travaux Dirigés
Printemps 2012 Indécidabilité et incomplétude, Université Paris 7, Master 1.
Printemps 2012 Algèbre et analyse 2, Université Paris 7, Bachelor 1.
Automne 2010 Logique Mathématique 1, Ecole Polytechnique Fédérale de Lausanne, Bachelor 3.
Printemps 2010 Théorie des ensembles, EPFL, Master 1.
Automne 2009 Logique Mathématique 1, EPFL, Bachelor 3.
Printemps 2009 Théorie des ensembles, EPFL, Master 1.
Automne 2008 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.
B raphael.carroy@univie.ac.at • Í www.logique.jussieu.fr/∼carroy 2/5Publications
Articles publiés ou acceptés
2018 Topological embeddability among functions: Order and Chaos, avec Y.Pequignot et
Z.Vidnyánszky, à paraître dans Transactions of the American Mathematical Soci-
ety.
2018 Linear orders: when embeddability and epimorphism agree, avec R.Camerlo et A.Marcone,
à paraître dans Journal of Mathematical Logic.
2017 Well, Better and In-Between, avec Y.Pequignot, à paraître dans Well Quasi-orders in
Computation, Logic, Language and Reasoning, Peter Schuster, Monika Seisenberger,
Andreas Weiermann (eds), Springer.
2016 Sigma-continuity with closed witnesses, avec B.D.Miller, à paraître dans Fundamenta
Mathematicae.
2015 Epimorphisms between linear orders, avec R.Camerlo et 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
Prépublications ou articles en préparation
2018 Every zero-dimensional homogeneous space is strongly homogeneous under determinacy,
avec A.Medini et S.Müller, prépublication, arXiv:1806.00332.
2018 The open dihypergraph dichotomy and the second level of the Borel hierarchy, avec
B.D.Miller et D.T.Soukup, prépublication, arXiv:1803.03205.
2018 Equivalents of the continuum hypothesis, avec A.Andretta and S.Steila, en préparation.
2018 Continuous reducibility well-quasi-orders continuous functions, avec Y.Pequignot, en pré-
paration.
2018 Basis for functions beyond the first Baire class, avec B.D.Miller, en préparation.
2018 Descriptive Cosmology, avec J.Comparat, en préparation.
Conférences et Séminaires
Conférences
18 Septembre 2018 Joint meeting of the Italian Mathematical Union, the Italian Society of Industrial
and Applied Mathematics and the Polish Mathematical Society, The Open Graph
Dichotomy and the second level of the Borel hierarchy, Wrocław, Pologne.
7 Septembre 2018 Measuring the Complexity of Computational Content: From Combinatorial Prob-
lems to Analysis, Around finite basis results for topological embeddability between func-
tions, Leibniz Zentrum für Informatik, Allemagne.
25 Septembre 2017 XXVI Incontro dell’AILA, Topological embeddability between functions, Orto botanico
di Padova, Italie.
7 Septembre 2017 Descriptive Set Theory in Turin, Projective homogeneous spaces and Wadge theory,
Université de Turin, Italie.
29 Mai 2017 SGSLPS Spring Meeting, L’ordre de plongement topologique entre fonctions, Université
de Lausanne, Suisse.
17 Octobre 2016 Prag-Vienna Set Theory Workshop 2016, Topological embeddability between func-
tions, Prag University, Czech Republic.
B raphael.carroy@univie.ac.at • Í www.logique.jussieu.fr/∼carroy 3/514 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, Uni-
versité de Lausanne, Suisse.
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, Univer-
sité de Turin, Italie.
26 Janvier 2014 Winter school in abstract analysis, Classifier des fonctions, Hejnice, République tchèque.
18 Octobre 2013 Groupe “Philosophie et Mathématique, XIX-XXème siècles", Introduction à la
théorie descriptive des ensembles, SPHERE, Paris 7, France.
16 Octobre 2013 Rencontre de Logique et Cosmologie, Introduction à la logique du premier ordre,
CPPM, Université Aix-Marseille, France.
27 Février 2011 PhDs in Logic III, Decomposing Baire class one functions, Brussel.
En séminaire
UCLA Logic Colloquium, Espaces projectifs homogènes et théorie de Wadge, Los Angeles, USA,
2 Février 2018.
Barcelone Logic research seminar, Ordres totaux: quand le plongement et l’épimorphisme coïnci-
dent, 4 Novembre 2016, Espagne.
Vienne KGRC Research seminar, Ordres totaux: quand le plongement et l’épimorphisme coïn-
cident, 3 Novembre 2016, Universität Wien, Autriche.
Bonn Oberseminar, Quand les plongements et les épimorphismes se rencontrent, 12 Juillet
2016, Universität Bonn, Allemagne.
Münster Oberseminar, University of Münster, Germany.
26 Mai 2014: Entre bons et meilleurs, l’espace des idéaux
26 Avril 2014: Introduction à la théorie des bqos: la preuve de la conjecture de Fraïssé
selon Laver
Paris 7 Séminaire général de logique, Classification de fonctions continues entre espaces polon-
ais 0-dimensionels, 10 Mars 2014, Université Paris 7, France.
Udine Seminario di logica, Quelques questions concernant les fonctions continues entre espaces
0-dimensionels, Universitá di Udine, Italie, 16 Avril 2013.
Turin Séminaire de logique et théorie des ensembles, Università di Torino, Italia.
5 Avril 2018: Théorie de Wadge et application aux espaces homogènes
Février 2017: Une dichotomie pour le quasi-ordre de plongement des fonctions continues
entre espaces polonais 0-dimensionels, 2 sessions
17 Novembre 2015: Logique & Mécanique Céleste
Printemps 2013: Quelques variations en théorie descriptive des ensembles, 22 sessions
Paris 6 Groupe de travail en Théorie Descriptive des Ensembles, Université Paris 6, France.
31 Janvier 2017: Une dichotomie pour le quasi-ordre de plongement des fonctions
continues entre espaces polonais 0-dimensionels
3 Novembre 2015: Ordres totaux fortement surjectifs
18 Mars 2014: Epimorphismes d’ordres totaux
25 Juin 2013: Jouer dans la première classe de Baire
B raphael.carroy@univie.ac.at • Í www.logique.jussieu.fr/∼carroy 4/5Novembre 2011: L’ordre de plongement sur les fermés, 3 sessions Mai 2011: Une notion de réduction pour les fonctions, 2 sessions 5 Avril 2011: Décomposition de fonctions de première classe de Baire B raphael.carroy@univie.ac.at • Í www.logique.jussieu.fr/∼carroy 5/5
Vous pouvez aussi lire
