Research output per year
Research output per year
Research activity per year
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 Turin
1 Oct 2016 → 12 Jun 2020
Award Date: 12 Jun 2020
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Working paper/Preprint › Preprint