I'm a SICSA Ph.D. student and part of the Dependable Systems Group. My advisors are Hans-Wolfgang Loidl and Phil Trinder at Heriot-Watt, and Murray Cole at Edinburgh.

Research

My research concerns parallel and functional programming. In particular I am interested in high-level parallel programming models e.g. parallel Haskell extensions (GpH, Eden) and libraries (Par monad). Another core focus of my research is the implementation of parallel data structures. These could range from generic structures, such as stack and queue, to more domain-specific ones, e.g. quad-tree; and both system-level structures (e.g. double-ended queue, "pool") for RTS and user-level (e.g. parallel list) as libraries available to use in programs to benefit from parallelism for free or with minimal code changes.

I am also interested to look more into programming languages, type systems and foundational concepts.

My work falls under the Complex Systems Engineering SICSA research theme and Parallel and Multicore System subgroup.