Research activities

My field of study is logic in computer science. More specifically, my research is situated at the interface between logic and computer science provided by the Curry-Howard correspondence, with an emphasis on the point of view offered by linear logic and category theory. Some keywords:

Since January 2018, I am the head of the Types, models and programming theory group within the LoVe team at LIPN.

Since September 2018, I co-lead the Scalp working group within the GDR Informatique Mathématique, along with Thibaut Balabonski and Alexis Saurin.

Events

Research groups, projects and grants I am currently involved in:

Research projects and grants I was involved in:

Ph.D. students

I co-supervised the following Ph.D. students, who have now defended their thesis: