Talks

Reverse mathematics

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

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

Programming Languages

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