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. Some keywords:

Events

Research projects I am currently involved in:

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

Research projects I was involved in:

Ph.D. students

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