Niels van der Weide
About me
I am a postdoc/lecturer at the Radboud University.
Contact
Email: nweide [at] cs.ru.nl
Github: nmvdw
ORCID: 0000-0003-1146-4161
Interests
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.
Dissertation
My dissertation, Constructing Higher Inductive Types, can be found here.