Biography
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,...view more
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).