Niels van der Weide

About me

I am a postdoc at the Radboud University.


Email: nweide [at]
Github: nmvdw
Orcid: 0000-0003-1146-4161


type theory, proof assistants, homotopy type theory, formalization of mathematics, (bi)category theory, formal verification

Publications and Talks

For a list of my publications and slides of my talks, click here.


My dissertation, Constructing Higher Inductive Types, can be found here.