Research banner

Welcome to


Project 'Rathlin' aims to conduct research on developing programmable embedded platforms for remote and compute-intensive image processing applications.

Dr. Rob Stewart

Research Associate

Email  rstuart



Room EM G.53

Mathematical and Computer Sciences,

Heriot-Watt University,


EH14 4AS

United Kingdom


Rob Stewart received a first class Masters of Engineering in Software Engineering in 2010 from Heriot Watt University, which involved a 1 year industrial placement in Aberdeen. Rob was employed on the SerenA project in June 2010, to engineer a semantic web multi-agent system to support researchers discover unexpected resources and other people. In Rob's PhD, he designed and implemented fault tolerance primitives for a distributed parallel Haskell DSL, and a reliable scheduler. He developed an operational semantics to guide the language design, and critical fault tolerant properties of the reliable scheduler were verified with a model checker. During Rob's PhD, he spent 6 months in industry, writing reliable distributed systems in Haskell.

Representative publications

  • Reliable Scalable Symbolic Computation: The Design of SymGridPar2, Maier, P., Stewart, R.J., Trinder, P.W. Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal.
  • SerenA: A multi-site pervasive agent environment that supports serendipitous discovery in research, Forth, J., Wiggins, G., Stewart, R.J., Bental, D., Aylett, R., Maxwell, D., Shek, J., Woods, M. Advances on Practical Applications of Agents and Multi-Agent Systems, 11th International Conference, PAAMS 2013, Salamanca, Spain.
  • Supervised Workpools for Reliable Massively Parallel Computing, Stewart, R.J., Trinder, P.W, Maier, P. Trends in Functional Programming, 13th International Symposium, TFP 2012, Revised Selected Papers. Lecture Notes in Computer Science. St Andrews, Scotland 2012.
  • Supporting Serendipitous Discovery, Aylett, R., Bental, D. S., Stewart, R. J., Forth, J., Wiggins, G., Digital Futures, The Third Annual Digital Economy All Hands Conference, Aberdeen, Scotland 2012.
  • Comparing ForkJoin vs MapReduce, Stewart, R.J., Singer, J. Heriot Watt, 2012.
  • Exposing Connections to Support Serendipitous Discovery, Bental, D., Aylett, R., Stewart, R., Maxwell, D. and Woods, M., Influencing People with Information. Aberdeen, Scotland 2012.
  • Comparing High Level MapReduce Query Languages, Stewart, R.J., Trinder, P.W., Loidl, HW. Advanced Parallel Processing Technologies - 9th International Symposium, APPT 2011. Lecture Notes in Computer Science. Shanghai, China 2011.