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

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

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

Teaching

I teach or have taught:

Using GitLab to support Computer Science education:

Programming music with assembly code:

Short bio