Niccolò Veltri

I am a junior researcher at the Department of Software Science, Tallinn University of Technology.
I am a member of the Logic and Semantics research group.


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 stuff