I am a lecturer in Computer Science at the University of St Andrews. My area of expertise lies in refactoring, programming languages, including functional programming, parallel programming, programming language design (including semantics, and formal reasoning), compilers and GPU programming.