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.



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-advised the following Ph.D. students, who have now defended their thesis: