Since 2022, I have been a postdoctoral researcher within the Trustworthy Systems group where I am involved in the secure multi-server operating system (SMOS) project. Between 2019-2021, I was a postdoctoral researcher involved in the Cogent project. My research interests include programming languages and compilers, (dependent) type theory, formal verification (interactive theorem proving and model checking), and operating systems.

Previously, I was a PhD student at the University of Edinburgh (2015-2020). Before that, I completed a masters at the University of Glasgow (2010-2015).