orcid.org/0000-0003-0365-693X- Assistant Professor in the Computer Science department at Heriot-Watt University.
- Dependable Systems Group (DSG) group member.
- Robotics lab Computer Science Research Lead.
| 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: | Follow @robstewartUK | |
| GitHub: | Follow @robstewart57 | |
| ORCID: |
Projects
- Co-investigator, EPSRC Border Patrol project, improving smart device security through type-aware systems design.
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
- Co-chair - ACM RWDSL
- PC member/reviewer - IEEE IPDPS, IEEE Access
Teaching
- Software Development 3, Heriot-Watt University.
Short Bio
- 2018 - : Assistant Professor, School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2017 - 2018: Research Fellow (Border Patrol EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2016 - 2017: Research Fellow (The Integration and Interaction of Multiple Mathematical Reasoning Processes EPSRC Platform Grant), School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2016 - 2017: Research Fellow (Rathlin EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2016 - 2016: Visiting scholar, EPFL, Switzerland.
- 2013 - 2016: Research Associate (Rathlin EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2013 - 2013: Senior Haskell Software Engineer, Parallel Scientific, American startup.
- 2010 - 2013: Research Associate (SerenA EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2010 - 2013: PhD student, Computer Science (thesis and details), School of Mathematical and Computer Sciences, Heriot-Watt University.
- 2004 - 2010: MEng student, Software Engineering, School of Mathematical and Computer Sciences, Heriot-Watt University.