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


I am an Assistant Professor in the Computer Science department at Heriot-Watt University.
I am a member of the Dependable Systems Group (DSG).

News

Projects

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

Teaching

  • Software Development 3, Heriot-Watt University.

Short Bio