Starting September 2023 I will be joining the University of Strathclyde as a Lecturer in Cybersecurity as part of Computer & Information Sciences , where I will be a member of the StrathCyber group and be the bridge with the MSP Group.
At Strathclyde I will be continuing my research investigating how we can take programming language theory and technologies, namely type-systems, dependent types, & functional programming, and use them to fundamentally change systems to make them more trustworthy: Secure and Safe.
If you are interested in student projects or research studies when I am in post at Strathclyde then please read this. If you are interested in working with me as a research associate then please read this
In the mean time I am still a Research Associate at the School of Computing, University of Glasgow looking at using programming language theory and technologies to investigate bettering hardware design. Specifically, I investigated how to use quantitative typing to reason better about wiring, and I am currently investigating the interplay between System languages, Session Types, and CHERI Hardware capabilities.
At Glasgow, I am a member of the Glasgow Parallelism Group (GPG) as part of the Glasgow Systems Section (GLASS). I also maintain strong links with the Formal Methods Research Group in Formal Analysis, Theory & Algorithms (FATA) Section through membership of the Programming Languages (PL) Theme. Further, I am part of the wider Scottish Programming Languages Institute that offers a framework to better the interaction of programming language researchers across Scotland.
Before I came to Glasgow I was a Research Fellow (and Teaching Fellow) at the School of Computer Science, University of St Andrews. I completed both my PhD and undergraduate degrees at the University of St Andrews, and in between these degrees I was a Master student (as part of the now defunct Kerckhoffs Institute) at the Institute for Information & Computer Science, Radboud Universiteit Nijmegen in the Netherlands.