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

Nicolai_Kraus has no activity yet