avatar

Nicolai Kraus

@Nicolai_Kraus@mathstodon.xyz

Joined: 02/20/2024



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

Nicolai_Kraus has no public lists

Timeline

Nicolai_Kraus has no activity yet