Rob Stewart
Address:     Earl Mountbatten Building
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Office: G.53
Phone: +44 131 4514179
Email: R.Stewart -at-
GitHub: Follow @robstewart57
I am a member of the Dependable Systems Group (DSG) at Heriot-Watt University.

Short Bio:

My research interests include dataflow models; formal methods for proving correct fault tolerance properties and proving safety properties of program transformations; and Domain Specific Languages (DSLs) for heterogeneous HPC and Cloud architectures comprising CPUs, GPUs and FPGAs for scalability, reliability and energy efficiency.

My publications are listed on this webpage, as well as on Google Scholar and DBLP.