I am a software engineer at Huawei Technologies Research & Development UK Ltd, working on the Cangjie programming language. My current role focuses on the use of effect handlers in mobile application development.
I was a PhD student in Strathclyde's Mathematically Structured Programming (MSP) group, under the supervision of Bob Atkey, from 2017 to 2024. My thesis is about an Agda-mechanised framework for usage-annotated (linear, modal, &c) type systems.
I have a list of publications and some blog posts.
My email address is my GitHub username (see the URL of this page) at
gmail.com.