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:


Research projects and grants I am currently involved in:

  • Elica (ANR "projet cooperatif", 2015-2019; principal investigator)
  • 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 currently co-advise the following Ph.D. students: In the past, I co-supervised the following Ph.D. students, who have now defended their thesis: