| Address | Room G.56 |
| Earl Mountbatten Building | |
| Heriot-Watt University | |
| Edinbugh, EH14 4AS | |
| Phone | +44 131 4513422 |
| R.Stewart -at- hw.ac.uk | |
| @robstewartUK | |
| GitHub | robstewart57 |
| ORCID | 0000-0003-0365-693X |
- Assistant Professor in the Computer Science department at Heriot-Watt University
- Director of 1st Year Studies
- Projects
- Co-investigator, Serious Coding 2020-2023, a game approach to security for the new code-citizens.
- Co-investigator, Border Patrol 2017-2022, improving smart device security through type-aware systems design.
- Member of research groups
- Research interests
- Domain Specific Languages (DSLs). Slides from my Scottish Programming Languages and Verification PhD Summer School (SPLV) 2019 lecture series.
- Parallel programming languages and DSLs: HPC, embedded, fault tolerance, task and data parallelism.
- Dataflow models: FPGAs, parallelism, language design, program transformation verification.
- Hardware verification: type systems for SoC based IP verification/integration.
- Publications
- listed here, as well as on Google Scholar and DBLP.
- PhD student co-supervision
- Cristian Sestito, visiting PhD student 2021-2022, University of Calabria, Italy, compression of CNNs 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
- Scholarly activity
- Co-chair, ACM Workshop on Real World Domain Specific Languages (RWDSL)
- PC member/reviewer, JFP, TyDe, IEEE IPDPS, SBLP, IEEE Access, ICANN, IEEE TPDS
- Teaching
- Programming Languages (F28PL)
- Distributed and Parallel Technologies (F20/21DP)
- Introduction to Data Structures and Algorithms (F28SG)
- Hardware-Software Interface (F28HS) (video - a programmed musical device with assembly code)
- Short bio
- 2018 - : Assistant Professor, School of Mathematical and Computer Sciences (MACS), Heriot-Watt University.
- 2021: Fellow of the Higher Education Academy.
- 2017 - 2018: Research Fellow (Border Patrol EPSRC project), Heriot-Watt University.
- 2016 - 2017: Research Fellow (The Integration and Interaction of Multiple Mathematical Reasoning Processes EPSRC Platform Grant), Heriot-Watt University.
- 2016 - 2017: Research Fellow (Rathlin EPSRC project), Heriot-Watt University.
- 2016 - 2016: Visiting scholar, EPFL, Switzerland.
- 2013 - 2016: Research Associate (Rathlin EPSRC project), Heriot-Watt University.
- 2013 - 2013: Senior Haskell Software Engineer, Parallel Scientific, American startup.
- 2010 - 2013: Research Associate (SerenA EPSRC project), Heriot-Watt University.
- 2010 - 2013: PhD student, Computer Science (thesis and details), Heriot-Watt University.
- 2004 - 2010: MEng student, Software Engineering, Heriot-Watt University.