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.