@Nicolai_Kraus@mathstodon.xyz
Joined: 02/20/2024
I'm a professor of theoretical computer science at the University of Nottingham. I'm working in the area of dependent type theory (favourite proof assistant: Agda), especially homotopy type theory.
Nicolai_Kraus has no public lists
Nicolai_Kraus has no activity yet