91̽

University 91̽
  2. About
  3. Find staff
  4. Gianluca Curzi

Gianluca Curzi

Researcher

Philosophy and Logic unit
Mail
gianluca.curzi@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Postal address
Box 200
40530 Göteborg

About Gianluca Curzi

I am currently a postdoc at the Department of Philosophy, Linguistics, Theory of 91̽ of the University 91̽ (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 91̽ of the University of Birmingham (UK), under the supervision of . I earned a PhD in Computer 91̽ in June 2020 at the University of Turin (Italy), in joint thesis (“cotutelle”) with Paris Diderot University (France).

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.

For more information see my .