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.


Research projects and grants I am currently involved in:

  • Elica (ANR "projet cooperatif", 2015-2019; scientific coordinator)
  • COCA HOLA (ANR JCJC; 2017-2020)

I am also a member of the GeoCal and LAC groups within the GDR Informatique Mathématique, and a member of the GDRI Linear Logic.

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: