Gianluca Curzi

Short biography

I have a Bachelor's Degree in Philosophy at the University of Urbino, and a Master Degree in Philosophy (specialization in Logic) at the University of Florence. On 21th June 2020 I completed my PhD in Computer Science at the University of Turin, in joint thesis (“cotutelle”) with Paris Diderot University (now Université de Paris). My PhD thesis is titled "Non-Laziness in Implicit Computational Complexity and Probabilistic λ-calculus".

I attended three courses of the LMFI master (Logique Mathématique et Fondements de l'Informatique) at the Université de Paris. There, I had been involved in teaching activities in French for undergraduate students about programming and databases, and I spent around ten months in doing research with my PhD co-supervisor. I also got the scholarship "Vinci" (Université Franco-Italienne), aimed at funding joint thesis with a French university.

Download CV

Download PhD thesis

Current position

I am currently “Cultore della Materia” (“Subject expert”) in the academic discipline “Logic and Computer Science”.

I am collaborating with the research group "Logical Foundations of Computing" in the Department of Computer Science, University of Turin. I am also collaborating with the Department of Pure and Applied Sciences, University of Urbino.

Research interests

My research areas are proof theory, lambda calculus, and computational complexity. One of my main research interests 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).