Owen Stephens
London-based Polyglot Programmer

My research topics to date have been functional programming languages (in particular, methods of implementing IO) and model checking of Petri Nets (in particular, compositional reachability checking).

Compositional model checking of Petri Nets:

My PhD research focussed on compositionally checking reachability in systems modeled by Petri nets.

IO in functional programming languages:

My masters research project investigated methods of implementing input/output (I/O) in functional programming languages: report (PDF).