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) team at LIPN.

I am an elected member of the steering committee of the FSCD conference.


Research groups and projects I am involved in:

Past grants:

  • Elica (ANR "projet cooperatif", 2015-2019; scientific coordinator)
  • Logoi (ANR; 2010-2015; local coordinator)
  • Panda (ANR; 2010-2013; local coordinator)
  • Collodi (Digiteo; 2009-2010; principal investigator)

Ph.D. students:

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