Niels van der Weide (Preferred)
Niels van der Weide
Postdoc, Radboud University
- Joined November 2024
Names
Emails
****@cs.ru.nl (Confirmed)
Personal Links
Career & Education History
Postdoc
Radboud University (ru.nl)
2022 – 2026
Postdoc
University of Birmingham (bham.ac.uk)
2021 – 2022
Lecturer
Radboud University (ru.nl)
2020 – 2021
PhD student
Radboud University (ru.nl)
2016 – 2020
Advisors, Relations & Conflicts
Expertise
semantics of type theory
2020 – Present
higher category theory
2018 – Present
category theory
2018 – Present
univalent category theory
2018 – Present
formalization of mathematics
2017 – Present
higher inductive types
2017 – Present
homotopy type theory
2017 – Present
type theory
2017 – Present