I am a PhD student in Strathclyde's Mathematically Structured Programming (MSP) group, under the supervision of Bob Atkey.
My research project focuses on usage-aware type systems and their formalisation in Agda. In laMudri/quantitative, I work on a simply typed λ-calculus related to Atkey's Quantitative Type Theory (QTT).
I have a list of publications and some blog posts.
My email address can be obtained by running the following sed command on
the URL of this page (or any page on this site):
In other words, remember the