About Nicolai Kraus

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.

Lists

Timeline

{username} has no activity yet