I am interested in designing hardware processor architectures for high level execution models, AI acceleration and functional programming languages. This includes developing an FPGA-based processor for Haskell in the EPSRC HAFLANG project and compressing neural networks for FPGAs. I have previously investigated scalable fault-tolerant parallelism of functional language runtime systems, executing dataflow programming models efficiently on FPGAs, and designing and implementing high level DSLs for FPGAs. As part of my scholarly activities, with colleagues and students I have developed integrated the GitLab software management tool with the Canvas learning management system to enhance computer science teaching.

Dependably Systems Group: https://www.macs.hw.ac.uk/~dsg

I am an Associate Professor of Computer Science. I am a member of the Dependable Systems Group (DSG) within the Rigorous Systems theme. My research is at the interface between programming languages, execution models, and computer architectures. I am the Director of Research for computer science at Heriot-Watt University. I teach undergraduate and MSc courses on parallel computing, data structures and algorithms.

I was a student at Heriot-Watt University from 2004 to 2013. In my MEng research I compared Big Data MapReduce query languages (APPT 2011).  In my PhD research I developed and verified a functional DSL for fault tolerant massively parallel computing (JFP 2016).

I became a Research Associate on two EPSRC projects: SerenA exploring how to facilitate chance encounters between researchers through semantic web and automated reasoning technology, and Rathlin researching programmable embedded platforms for remote and compute intensive image processing applications. I then became a Research Fellow then latterly the Co-Investigator on the EPSRC Border Patrol project to make the design of hardware systems resiliant against hidden malicious functionality.

I then became an Assistant Professor in 2018, before being promoted to an Associate Professor in 2022. I am a member of the Dependable Systems Group. I supervise PhD students on topics including processor architectures, memory management, functional programming and AI accelerators.