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

My main research interests are

My PhD research focused on reliably massively parallel computing. I designed and implemented HdpH-RS, a reliability extension to HdpH, a Haskell DSL for distributed parallel programming. More details can be found here. I previously worked on an EPSRC project SerenA project, aiming to transform research processes by proactively creating surprising connection opportunities. My industrial experience includes 6 month period working for a startup company, developing distributed systems with Haskell.

I am now working on the Rathlin project, designing and implementing a DSL called RIPL for FPGA-based 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.