I am a Senior Haskell Developer at Wire.
Until February 2021, I was a postdoc at the Logic Group in TU Darmstadt, working on homotopy type theory and category theory. Previously, I was a postdoc at the University of Nottingham, where I also got my PhD under the supervision of Venanzio Capretta.
With Thorsten Altenkirch, Gabe Dijkstra, Nicolai Kraus and Fredrik Nordvall Forsberg.
Proceedings of FoSSaCS 2018.
Semantics for certain classes of higher inductive definitions in 0-truncated Homotopy Type Theory.
My PhD thesis.
Lecture notes for an introductory topology course given at TU Darmstadt in the Summer semester of 2019.
An introduction to models of type theory and the construction of the simplicial model, based on a course given at TU Darmstadt in the Summer semester of 2020.
My paper for the FP Lab Away Day 2014. An internalisation of the syntax of mutual and higher inductive types in 0-truncated Homotopy Type Theory.
My first year report: an introduction to fibrational models of type theory.
An implementation of basic category theory in Agda/HoTT.
Base library for homotopy type theory in Agda.
A Haskell library for parsing command line options using Applicative functors.