Colleges, School and Institutes
My research areas are proof theory, linear logic, lambda calculus, and computational complexity. My main research interest is the design of type systems or proof formalisms able to characterize complexity classes in the style of Implicit Computational Complexity.
I am also interested in probabilistic calculi and program equivalence (e.g. context equivalence and bisimilarity).
Doctor of Science, University of Turin1 Oct 2016 - 12 Jun 2020