Dr Gianluca Curzi

Current position and past education

I am currently a postdoc at the Department of Philosophy, Linguistics, Theory of Science of the University of Gothenburg (Sweden), working within the research project Taming Jörmungandr: The Logical Foundations of Circularity, under the supervision of Graham Leigh. I was previously a Research Fellow at the School of Computer Science of the University of Birmingham (UK), under the supervision of Anupam Das. I earned a PhD in Computer Science in June 2020 at the University of Turin (Italy), in joint thesis (“cotutelle”) with Paris Diderot University (France).

Download CV

Download PhD thesis

Research interests

My research interests range from proof theory, linear logic, lambda calculus and type theories to computational complexity, coinduction, and probabilistic computation. I am now working on the computational strength of circular proofs, with special attention to their complexity-theoretic aspects.