I'm an Associate Professor and 1st Year Director of Studies in the
Computer Science department at Heriot-Watt University.
News
October 2022 There is the possibility of funded PhD projects
for the EPSRC HAFLANG project, which is exploring hardware
implementations of functional languages. Email me with
inquiries.
Research
My research interests span Domain Specific Languages (my SPLV 2019 slides), parallel programming languages for HPC and System on Chip
processors, dataflow programming languages, high level FPGA languages,
and language/compiler/runtime system verification.
I am the principal investigator of the EPSRC project HAFLANG 2022-2025
– FPGA based hardware implementations of functional languages. Our
project page is: https://haflang.github.io.
I am a co-investigator on two EPSRC projects: Serious Coding 2020-2023
– a game approach to security for the new code-citizens, and Border Patrol 2017-2022 – improving smart device security through type-aware
systems design.
Cristian Sestito, visiting PhD student 2021-2022, University of
Calabria, Italy, neural network compression for FPGAs.
Fraser Garrow, Heriot-Watt University, evolutionary algorithmic
optimisation of neural networks, 2020-present, with Michael Lones.
Kirsty Duncan, Heriot-Watt University, verification of neural
networks, 2017-present, with Katya Komendantskaya.
Blair Archibald, University of Glasgow, C++ algorithmic skeletons
for scalable parallel tree search, 2015-2018, with Phil Trinder and
Patrick Maier. thesis
If you are interested in a PhD in my research areas, please get in
touch.