I am a 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 University of St Andrews, and in between these degrees I was a Kerckhoffs Master student at the Radboud Universiteit Nijmegen in the Netherlands.

Recent Posts

Posts Date Created Categories
Thoughts on API Design for Dependently-Typed Languages November 29, 2021 idris,type-systems,dependent-types,typing
How we teach Type-Checking is a lie! August 20, 2021 idris,type-systems,dependent-types,bidirectional-typing
Formalising the (Sub-)Structural Aspects of SystemVerilog March 8, 2021 idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,plas
Faking Linear Variable Usage January 25, 2021 idris,dependent-types,tdd,musing
Synthesised or Checked? January 22, 2021 idris,dependent-types,tdd,musing

There are more posts in the archives.