Address Room G.56
Earl Mountbatten Building
Heriot-Watt University
Edinburgh, EH14 4AS
Phone +44 131 4513422
Email R.Stewart -at-
Twitter @robstewartUK
GitHub robstewart57
GitLab robstewart57
ORCID 0000-0003-0365-693X
Book meeting link

I'm an Associate Professor and 1st Year Director of Studies in the Computer Science department at Heriot-Watt University.


  • 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.


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:

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.

My publications are listed here, as well as on Google Scholar and DBLP.

PhD student supervision/co-supervision:

If you are interested in a PhD in my research areas, please get in touch.

I'm a member of several research groups: Dependable Systems Group, Robotics Lab and Lab for AI Verification.

I am co-chair of the ACM Workshop on Real World Domain Specific Languages (RWDSL) and a PC member/review for JFP, TyDe, IEEE IPDPS, SBLP, IEEE Access, ICANN, IEEE TPDS, CPE, JSPS.


I teach or have taught:

Using GitLab to support Computer Science education:

Programming music with assembly code:

Short bio