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

- 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