Niels van der Weide
About me
I will be a teacher/postdoc at the Radboud University.
Contact
Email: nweide [at] cs.ru.nl
Github: nmvdw
Interests
(homotopy) type theory, formalization, (bi)category theory
Publications and Talks
For a list of my publications and slides of my talks, click here.
Dissertation
My dissertation, Constructing Higher Inductive Types, can be found here.