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:

I am the head of the Logic and Verification (LoVe) group at LIPN.

Events:

 

Research groups and projects I am involved in:

Past grants:

  • Elica (ANR "projet cooperatif", 2015-2019; scientific coordinator)
  • Logoi (ANR; 2010-2015; local coordinator)

Ph.D. students:

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