Niccolò Veltri

I am a PhD student at the Institute of Cybernetics (IoC) at Tallinn University of Technology (TUT), under the supervision of Tarmo Uustalu and James Chapman .
I am a member of the Logic and Semantics research group in IoC.


Email: niccolo at cs ioc ee
Phone: +372 620 4198
Address: Akadeemia tee 21, 12618, Tallinn, Estonia

Research interests

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


Other formalizations