About

I'm currently a PhD student at the University of Kent working on the Granule Project, under the supervision of Dominic Orchard. My current area of research is looking into using linear and graded modal types to enhance existing approaches to type-driven program synthesis.

Previously, I was a software developer at Virtusales Publishing Solutions where I worked on the Biblio3 suite of technology used by publishing houses such as Penguin Random House, Hachette, and Oxford University Press.

My interests lie mainly with programming languages and their implementation.

I currently live and work in Brighton, in the south of England.