About

I am a PhD student within the School of Informatics at the University of Edinburgh. I am a member of the Laboratory for Foundations of Computer Science.

My research interests include type theory, category theory, programming languages, program verification, interactive theorem proving and compilers.