Talks
Reverse mathematics
On the first-order part of Ramsey's theorem for pairs
2024-07-30 Algebra and Mathematical Logic: Theory and Applications, Kazan, Russia
Partial conservation of Ramsey's theorem for pairs
2024-06-13 Ramsey Theory in Logic, Combinatorics and Complexity, Pisa, Italy
Ramsey theory computes through sparsity - Day 2
2023-07-24 Computability in Europe, Batumi, Georgia
Ramsey theory computes through sparsity - Day 2
2023-07-24 Computability in Europe, Batumi, Georgia
Ramsey theory computes through sparsity - Day 1
2023-07-24 Computability in Europe, Batumi, Georgia
Canonical notions of forcing in Reverse Mathematics
2023-03-31 Cross-Alps Logic Seminar, Online
Partition genericity and pigeonhole basis theorems
2022-06-01 Leeds Computability Days, Online
Classifications of Ramsey-like theorems
2021-02-27 South Eastern Logic Symposium, Online
Canonical notions of forcing in commutability theory
2021-02-11 Online Logic Seminar
Computability-theoretic aspects of Milliken's tree theorem
2020-07-24 Séminaire de Logique Lyon-Paris, Lyon, France
SRT22 does not imply COH over omega-models
2019-09-17 Reverse mathematics of combinatorial principles, Oaxaca, Mexico
Ramsey-like theorems and moduli of computation
2019-03-11 Mathematical Logic and its Applications, Nancy, France
Never underestimate pigeons
2018-08-05 Computability and Complexity in Analysis, Kochel, Germany
Ramsey's theorem under a computable perspective
2018-07-28 Logic Colloquium, Udine, Italy
Computational analysis of the thin set theorems
2018-07-02 Journées GT Calculabilités, Palaiseau
Pigeons do not jump high
2018-01-08 Computability Theory seminar, Oberwolfach
Introduction aux mathématiques à rebours
2017-10-09 Séminaire Paris 7, Paris
Can we fish with Mathias forcing?
2017-09-08 Computability Theory and the Foundations of Mathematics, Singapore
The weakness of Ramsey's theorem under omniscient reductions
2017-07-03 Computability, Complexity and Randomness, Mysore, India
Ramsey's theorem under a computable perspective
2017-06-12 Computability in Europe, Turku, Finland
Introduction aux mathématiques à rebours
2017-03-04 South Eastern Logic Symposium, Gainesville, FL
Introduction aux mathématiques à rebours
2017-02-03 Congrès de la Société d'Informatique de France, Reims, France
The reverse mathematics of non-decreasing sequences
2017-01-06 Computability and Complexity Symposium, Raumati, New Zealand
Coloring trees in reverse mathematics
2016-10-22 Midwest Computability Seminar, Chicago, IL
How randomly rainbows appear!
2016-07-04 Workshop on Computability Theory, Ghent
Partial orders and immunity in reverse mathematics
2016-06-30 Computability in Europe, Paris
The weakness of Ramsey's theorem under omniscient reductions
2016-01-13 The Foundational Impact of Recursion Theory, Storrs, CT
Ramsey's theorem and compactness
2016-05-22 New challenges in reverse mathematics, Singapore
Ramsey's theorem and compactness
2015-11-19 Computability Seminar, Notre Dame, IN
The strength of Ramsey's theorem under reducibilities
2015-11-17 Logic Seminar, Notre Dame, IN
Controlling iterated jumps of Ramsey-type theorems
2015-09-21 Dagstuhl Seminar, Wadern
How colorings reduce when colors increase
2015-06-30 Computability in Europe, Bucharest
Iterative forcing and preservation of hyperimmunity
2015-06-30 Computability in Europe, Bucharest
The role of randomness in reverse mathematics
2015-06-17 Varieties of Algorithmic Information, Heidelberg
How colorings reduce when colors increase
2015-04-28 Journées GT Calculabilités, Fontainebleau
The strength of Ramsey's theorem under reducibilities
2015-04-20 Seminar of logic, Uconn
On universal instances of principles in reverse mathematics
2014-07-04 Workshop on Computability Theory, Prague
On combinatorial weaknesses of Ramseyan principles
2014-06-24 Computability in Europe, Budapest
The complexity of satisfaction problems in reverse mathematics
2014-06-24 Computability in Europe, Budapest
On universal instances of principles in reverse mathematics
2014-04-29 Journées Calculabilité, Montpellier
Introduction to reverse mathematics
2014-02-12 Groupe de travail Théorie des types et réalisabilité, Paris
Reverse mathematics: Classifying principles by the no randomized algorithm property.
2013-09-23 Computability, Complexity and Randomness, Moscow
Reverse mathematics: Classifying principles by the no randomized algorithm property.
2013-07-26 Logic Colloquium, Evora
Rainbow Ramsey theorem for pairs
2013-07-04 Computability in Europe, Milan
New results in the reverse mathematics analysis of Ramsey theory
2013-04-12 Journées Calculabilité, Nancy
Probabilistic Algorithms and Ramsey-Type Principles in reverse mathematics
2013-03-28 Workshop in Type Theory, Seoul
Reverse mathematics and a Weak Ramsey-Type König's Lemma
2012-03-07 Internship defense, Paris
Programming Languages
A Calculus of Primitive Recursive Constructions
2014-05-12 IHP, Paris
Monadic Translation of Multistaged Languages
2011-12-23 ROSAEC Center, Seoul
CPS Translation of Lisp-Like Multistaged Languages
2011-06-26 ROSAEC Center, Seoul
Projects
Sqwarea
2010-05-27 Ecole Normale Supérieure, Paris
Nooda: Une plateforme de communication spontanée
2011-11-24 Ecole Normale Supérieure, Paris
