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:
- 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 lambda-calculi, 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 non-deterministic variants of interaction nets and linear logic proof nets.
I am the current director of my research laboratory.
|
|
Research groups and projects I am involved in:
|
Ph.D. students:
In the past, I advised or co-advised the following Ph.D. students, who have now defended their thesis:
I am or was the "formal advisor" of the following students (that means their actual advisor is someone who does not or did not have the habilitation degree, which is necessary in France to officially advise PhD students. It also means that I have or had little to no scientific interaction with the students):
