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
Vision and Perception
Machine Learning and AI (inc. multi-agent systems)
Verification and Security
Email (optional - published on profile page):