Gianluca Curzi

Dr.

20212021

Research activity per year

If you made any changes in Pure these will be visible here soon.

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

Fingerprint

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