Gianluca Curzi



Research activity per year

Personal profile

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 201612 Jun 2020

Award Date: 12 Jun 2020


Dive into the research topics where Gianluca Curzi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles