Niels van der Weide

About me

I will be a postdoctoral researcher at the Eötvös Loránd University under Ambrus Kaposi in the Type Theory Group. Previously, I was working as a postdoc and lecturer at Radboud University under Herman Geuvers.

You can find more information in my CV.

Research Interests

I am interested in Martin-Löf type theory, particularly homotopy type theory, and the applications of category theory to logic and computer science. My research also covers proof assistants and formalisation.

Keywords

(homotopy) type theory constructive mathematics categorical semantics

(bi)category theory category theory in computer science linear logic

proof assistants formalisation of mathematics formal verification

News

In June, I will start a postdoc with Ambrus Kaposi in Budapest
Sam Speight and I submitted an abstract about internal models of linear type theories at TLLA.

Dissertation

I defended my dissertation, entitled Constructing Higher Inductive Types, on 8 December 2020. The manuscript can be found here.