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.

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

- 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: 25 September 2015