I am a research associate in the Department of Computer Science at Heriot Watt University, Edinburgh.

My main research interests are

My PhD research was on reliably massively parallel fault tolerant computing. I designed, verified and implemented HdpH-RS, a reliability extension to a Haskell DSL for distributed parallel programming. More details are here.

From 2010 I worked on a 3 year EPSRC project SerenA project, working with artists and musicologists to transform research processes by identifying unexpected cross disciplinary connections using multi-agent and semantic web technologies.

My industrial experience includes a 6 month period in 2013 working for an American startup company, developing distributed systems with Haskell.

From 2013 I’ve been working on the Rathlin project, designing and implementing a DSL called RIPL for FPGA-based remote image processing. The DSL is described in our FSP 2015 paper. We’re also working on profile guided dataflow transformation for FPGAs, detailed in our JSPS 2015 paper.

I’m interested in functional programming languages, and contribute to a number of Haskell libraries. I organise a monthly functional programming Edinburgh meetup EdLambda. I also believe open source is the progressive way to share software:

“Because sharing ideas and code make us move ahead more quickly… Because it’s good to spread everybody’s valuable contribution… Because we can face the same problems and benefit from the same solutions.” Fabrice Niessen.

“When someone shares something of value with you, and you benefit from it, you have a moral obligation to share it with others.” Chinese proverb.