Niccolò Veltri

I am a postdoc at the IT University of Copenhagen. I am a member of the Programming, Logic and Semantics research group.


Email: nive at itu dk
Address: Rued Langgaards Vej 7, 2300 Copenhagen, Denmark

Research interests

Type theory, constructive mathematics, formalization of mathematics, category theory.


Other stuff