I'm an Assistant Professor and 1st Year Director of Studies in the Computer Science department at Heriot-Watt University.
November 2021 I have a postdoc position on the EPSRC HAFLANG project investigating FPGA based hardware implementation of functional programming languages. The project will start May 2022. Apply here.
November 2021 There is the possibility of funded PhD projects for the EPSRC HAFLANG project. Email me with inquiries.
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.