I am 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.
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.