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.
Feel free to get in touch: you can reach me at simon.fowler -at- ed.ac.uk or simon -at- simonjf.com.
- (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, March 2018.
Conference and Workshop Papers
- Fowler, S., Lindley, S., and Wadler, P. Mixing Metaphors: Actors as Channels and Channels as Actors. ECOOP 2017.
- Fowler, S. An Erlang Implementation of Multiparty Session Actors. ICE 2016.
- Fowler, S., Denuziere, L., Granicz, A. Reactive Single-Page Applications with Dynamic Dataflow. PADL 2015.
- Fowler, S. and Brady, E. Dependent Types for Safe and Secure Web Programming. IFL 2013.
Dissertations and Project Reports
Monitoring Erlang/OTP Applications using Multiparty Session Types. MSc by Research Thesis, University of Edinburgh; 2015.
Verified Networking using Dependent Types. BSc Project Report, University of St Andrews; 2014.
- First-class Distributed Session Types, ICFP Student Research Competition, 2nd Place (Graduate Category)
- Scottish Programming Languages Seminar (SPLS), 11th October 2017 (co-organised with Craig McLaughlin)
- Scottish Programming Languages Seminar (SPLS), 21st October 2015 (co-organised with Sam Lindley and James McKinna)