About

I am a PhD student at the Programming Languages and Systems group 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-directed program synthesis.

I am interested in programming languages, types, semantics, and logic.

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