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

GitHub

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

Teaching


Last modified: 25 September 2015