About me

My primary interests are compilers programming language theory denotational semantics formal methods and reverse engineering, and I hold a BSc (Hons) and MSc in Computer Science from the University of St Andrews.

My interests in programming languages and compilers cover both their theoretical foundations and practical implementation, and I'm particularly interested in compiler construction static analysis type systems runtime design intermediate representations and the application of formal methods to software.

Most of my time is spent reading academic papers and language specifications usually somewhere in the languages compiler or verification area.

Outside of computer science I'm an avid kayaker and runner, and I spend as much time caving and hiking as I can because I enjoy exploring the outdoors whenever I get the chance.