Paper 'replication in multiparty session types' accepted to ESOP 2025 (with Matthew Alan Le Brun and Ornela Dardha)
Paper 'Special Delivery: Programming with Mailbox Types' accepted to ICFP 2023; associated artifact evaluated as reusable
Position paper 'Behavioural Types for Heterogeneous Systems' accepted at PLACES 2024
Serving on the program committees (PC) of GPCE 2025 and ESOP 2025
PC member for PADL 2024
Delivered an introductory talk on session types at SPLV 2023
Background
Lecturer in Programming Language Foundations at the University of Glasgow, School of Computing Science
Lead and member of the Programming Languages Theme at Glasgow
Glasgow representative and publicity chair of the Scottish Programming Languages Institute (SPLI)
Research interests include design and implementation of functional programming languages, behavioral types (especially session types), and multi-tier programming
Currently working on mainstream adoption of behavioral types, focusing on distributed-friendly behavioral types, session typing interoperability, and lightweight behavioral typing
Core contributor to the Links multi-tier programming language; currently interested in language-integrated query technologies