Gabe Dijkstra

Picture of Gabe

I used to be a PhD student of of Thorsten Altenkirch at the Functional programming laboratory of the University of Nottingham. There I worked on homotopy type theory, in particular the theory of higher inductive types.

Papers and talks and such


Code of current and previous projects can usually be found on my GitHub page.


Last modified: 13 August 2016