Simon Fowler
Scholar

Simon Fowler

Google Scholar ID: 34hm_7UAAAAJ
University of Glasgow
Functional ProgrammingProgramming LanguagesBehavioural TypesMulti-tier ProgrammingConcurrent Programming
Citations & Impact
All-time
Citations
292
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
21
list available
Resume (English only)
Academic Achievements
  • 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