Dr. Robert Stewart

Dr Robert Stewart is an Assistant Professor at Heriot-Watt University. His interests are at the interface between programming languages and computer architectures. They span parallel programming functional languages for multicore HPC and embedded architectures, dataflow models for embedded systems and hardware verification.

Research keywords: 
Parallel programming languages, domain specific languages, dataflow models, embedded systems, hardware, model checking, verification

Related PhD Project Topics