Rob Stewart
Address:     Earl Mountbatten Building
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Office: G.56
Phone: +44 131 4513422
Email: R.Stewart -at-
GitHub: Follow @robstewart57


Research interests

  • 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 are listed on this webpage, as well as on Google Scholar and DBLP.

PhD students

  • Blair Archibald, University of Glasgow, algorithmic skeletons for scalable combinatorial search.
  • Kirsty Duncan, Heriot-Watt University, verification of neural networks for image processing.

Scholarly activity


  • Software Development 3, Heriot-Watt University.

Short Bio