I’m currently a PhD student in the Centre for Doctoral Training in Pervasive Parallelism at the University of Edinburgh.

I work on typed, communication-centric functional programming languages. I’m currently working with session types on the ABCD project, supervised by Sam Lindley and Philip Wadler. More generally, my research interests include programming languages, session types, dependent types, and functional programming.

In the past, I have been an intern at IntelliFactory, where I worked on WebSharper UI.Next. I did my MSc by Research at the University of Edinburgh, and my BSc at the University of St Andrews.


Feel free to get in touch: you can reach me at simon.fowler -at- ed.ac.uk or simon -at- simonjf.com.


  • (9th October 2018): Session Types without Tiers has been conditionally accepted to appear at POPL’19!
  • (24th September 2018): I will be serving on the Programme Committee for PLACES 2019. Please consider submitting a paper!
  • (27th August 2018): New blog post! cmm_of_wasm: From WebAssembly to Native Code via the OCaml Backend
  • (24th August 2018): I will be speaking about cmm_of_wasm, a native code compiler for WebAssembly, at EdLambda on the 11th of September.
  • (12th July 2018): A new draft of Session Types without Tiers is available.
  • (25th April 2018): From 1st May to 27th July, I will be an intern at OCaml Labs, working on compiling WebAssembly to the OCaml backend.
  • (25th April 2018): I will speak about Session Types without Tiers in the Special Session on Session Types at MFPS 2018 in Halifax, Canada.
  • (10th April 2018): Speaking about Session Types for Tierless Web Applications at the ProWeb workshop, co-located with <Programming> 2018 in Nice.

Recent Blog Posts



  • Fowler, S., Lindley, S., Morris, J. G., and Decova, S. Session Types without Tiers. Draft, July 2018. Conditionally accepted to appear at POPL’19.

Conference and Workshop Papers

Dissertations and Project Reports


  • First-class Distributed Session Types, ICFP Student Research Competition, 2nd Place (Graduate Category)