Gianluca Curzi

Colleges, School and Institutes

Research interests

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).

Education/Academic qualification

  • Doctor of Science, University of Turin

    1 Oct 2016 - 12 Jun 2020