Registered user since Tue 2 May 2017
I’m currently a Lecturer in Programming Language Foundations at the University of Glasgow School of Computing Science.
My research interests centre around typed functional programming languages, in particular functional approaches to concurrency, web programming, and data management.
Previously, I worked on the STARDUST project, investigating behavioural types for actor systems, working with Simon Gay and Phil Trinder. Before that, I spent 6 years at the University of Edinburgh School of Informatics, first as a PhD student in the Centre for Doctoral Training in Pervasive Parallelism working with Sam Lindley and Philip Wadler, and second as a Research Software Engineer working with James Cheney. I’ve also worked at OCaml Labs and IntelliFactory.