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
CurryHoward correspondence, with an emphasis on the point of view offered by
linear logic and
category theory. Some keywords:
 implicit computational complexity and, more generally, the application of logical methods to structural complexity theory.

the semantics of programming languages and proof systems, in particular lambdacalculi, type systems, proof nets, interaction nets, differential interaction nets, geometry of interaction, etc., with a specific focus on quantitative properties of programs;

concurrent process calculi and their relationship with nondeterministic variants of interaction nets and linear logic proof nets.
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", 20152019; scientific coordinator)

Logoi (ANR; 20102015; local coordinator)

Panda (ANR; 20102013; local coordinator)

Collodi (Digiteo; 20092010; principal investigator)

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