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. Some keywords:
Pierre Vial: Non-idempotent Typing Operators: Beyond the Lambda-Calculus. Advisor: Delia Kesner (PPS, Paris 7).
In the past, I co-supervised the following Ph.D. students, who have now defended their thesis:
Aloïs Brunel: The Monitoring Power of Forcing Transformations, defended in June 2014. Advisor: Stefano Guerrini.
Andrei Dorman: Concurrency in Interaction Nets and Graph Rewriting, defended in June 2013. Advisor: Lorenzo Tortora de Falco (joint Ph.D. thesis with Università Roma Tre, co-advised at Paris 13 by Stefano Guerrini).