I am a Post-Doctoral Research Associate at the School of Computing at the University of Glasgow, where I am a member of the Glasgow Parallelism Group (GPG) as part of the Glasgow Systems Section (GLASS). I maintain strong links with the Formal Methods Research Group in Formal Analysis, Theory & Algorithms (FATA) Section through membership of the Programming Languages (PL) Theme.
My core role at Glasgow is to investigate the construction and application of structural and behavioural type-systems for hardware design languages. My other research interests are in the general type-driven development of systems using dependent types, session types, and algebraic effect handlers.
Before I came to Glasgow I was a Research Fellow (and Teaching Fellow) at the School of Computer Science at the University of St Andrews. I completed both my PhD and undergraduate degrees at the at the University of St Andrews, and in between these degrees I was a Kerckhoffs Master student at the Radboud Universiteit Nijmegen in the Netherlands.
Faking Linear Variable Usage
January 25, 2021
Synthesised or Checked?
January 22, 2021
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
November 16, 2020
Defining Intrinsically Typed Data Structures
August 4, 2020
Programming with Holes
July 9, 2020
There are more posts in the archives.