Address | Room G.56 |
Earl Mountbatten Building | |
Heriot-Watt University | |
Edinburgh, EH14 4AS | |
Phone | +44 131 4513422 |
R.Stewart -at- hw.ac.uk | |
@robstewartUK | |
GitHub | robstewart57 |
GitLab | robstewart57 |
ORCID | 0000-0003-0365-693X |
Book meeting | link |
I'm an Associate Professor and Associate Director of Research in the Computer Science department at Heriot-Watt University.
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.
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:
If you are a professional writer – i.e., if someone else is getting paid to worry about how your words are formatted and printed – emacs outshines all other editing software in approximately the same way that the noonday sun does the stars. It is not just bigger and brighter; it simply makes everything else vanish. – Neal Stephenson, In the Beginning was the Command Line.