conf.researchr.org / Nicolai Kraus
![Nicolai Kraus](https://conf.researchr.org/getProfileImage/nicolaikraus/1e6ad344-d5db-4f04-b56b-60bd567678b3/small.jpg?1718809113000)
Registered user since Thu 30 Nov 2017
Name:Nicolai Kraus
Bio:
I’m an associate professor at the University of Nottingham.
Country:United Kingdom
Affiliation:University of Nottingham
Personal website: http://www.cs.nott.ac.uk/~psznk/
Research interests:Type theory, higher category theory
Contributions