I obtained my DPhil from the University of Oxford in 2014. Before joining King's, I was in Munich (MCMP) with a Marie Skłodowska-Curie Individual Fellowship, and in Utrecht with a VENI (NWO) grant. 

I am the Principal Investigator of the AHRC Research Project “Properties, Paradox, and Circularity: A New, Type-Free Approach”. 

Carlo Nicolai is PI of the following projects:

AHRC Grant AH/V015516/1 Properties, Paradox, and Circularity: a Type-Free Account.

AHRCCommercialization Grant AH/Z506515/1 Levelling data representations

HORIZON-TMA-MSCA-SE no. 101086295 “PLEXUS” 

Research interests and PhD supervision

• Logic (logical paradoxes, formal theories of truth and abstraction)
• Philosophy of Logic and Language (formal theories of consequence, truth-theoretic deflationism)
• Philosophy of Mathematics (implicit commitment, reflection principles, reductive proof-theory)

Teaching

I teach undergraduate and postgraduate modules in Logic.