Gabe Dijkstra

Picture of Gabe

I'm a third year PhD student of Thorsten Altenkirch at the Functional programming laboratory of the University of Nottingham. I'm working 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: 25 September 2015