| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 23 Dec 2025 15:24:25 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"694ab429-542"
expires: Tue, 30 Dec 2025 00:54:03 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: CBAE:2D8B9D:96C6E5:A9545F:69532053
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 00:44:03 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210046-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767055443.390796,VS0,VE205
vary: Accept-Encoding
x-fastly-request-id: cbb09088dbbfb1e393c3f69186bfe575a5747f70
content-length: 774
nweide
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
Office: M01.02.05
Interests
type theory, proof assistants, homotopy type theory, formalization of mathematics, (bi)category theory, formal verificationPublications and Talks
For a list of my publications and slides of my talks, click here. You can also check dblp.
Dissertation
My dissertation, Constructing Higher Inductive Types, can be found here.
Other
- The author processing charges of various journals and conferences in theoretical computer science