Gabe Dijkstra

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.

Quotient inductive-inductive types, PhD thesis (corrected version), April 2017
Induction and homotopy initiality for a class of 1-HITs (video), Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics, Toronto, 2016
Towards a theory of higher inductive types (slides), TYPES, Tallinn, 2015

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

2016 Spring:
- University of Nottingham: Programming paradigms
2015 Autumn:
- University of Nottingham: Introduction to Formal Reasoning
2015 Spring:
- University of Nottingham: Functional programming
2014 Autumn:
- University of Nottingham: Programming
2014 Spring:
- University of Nottingham: Functional programming
2013 Autumn:
- University of Nottingham: Programming
2012 Autumn:
- Universiteit Utrecht: Functional programming
- Universiteit Utrecht: Languages and compilers
2011 Autumn:
- Universiteit Utrecht: Functional programming
- Universiteit Utrecht: Logic for AI

Last modified: 13 August 2016