Dr Richard Stocker

Senior Lecturer

School of Computing and Engineering Sciences
r.stocker@chester.ac.uk
Dr Richard Stocker

Richard graduated from the University of Liverpool in 2005, 2009 and 2013 with an Undergraduate degree in Computer Science, a Masters in Advanced Computer Science and a PhD in Formal Verification of Human-Agent-Robot Teamwork.

In 2013 he left the UK to work for SGT, Inc as a level 2 Computer Scientist at NASA Ames in California. There he worked on projects for aerospace, particularly simulating workload of single pilot operations  and air traffic controllers. Returning to the UK in 2015, Richard  started teaching foundation degree students at Middlesex University.

Richard then came to the University of Chester to work as a Senior Lecturer in 2017.

Richard teaches on a variety of modules for both undergraduate and postgraduate levels of Computer Science:

  • Databases I (Level 4)
  • Databases II (Level 5)
  • Web Application Development (Level 5)
  • Artificial Intelligence and Machine Learning (Level 6)
  • Robotics (Level 7)

Applying formal verification techniques to human-robot teamwork, particularly using the Brahms work-practice simulation framework.

M. Botton, F. Palumboy, G. Primiero, F. Raimondi, and R. Stocker. Implementing virtual pheromones in bdi robots using mqtt and jason. In 5th IEEE International Conference on Cloud Networking, CloudNet ’16, page "to appear", 2016.

J. Hunter, F. Raimondi, N. Rungta, and R. Stocker. A synergistic and extensible framework for multiagent system verification. In Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, AAMAS ’13, pages 869–876, Richland, SC, 2013. International Foundation for Autonomous Agents and Multiagent Systems.

N. Rungta, E. Mercer, F. Raimondi, B. Krantz, R. Stocker, and A. Wallace. Modelling complex air traffic management systems. In Proceedings of the 8th International Workshop on Modeling in Software Engineering, MiSE ’16, pages 41–47. ACM, 2016.

R. Stocker, L. A. Dennis, C. Dixon, and M. Fisher. Verifying brahms human-robot teamwork models. In L. F. del Cerro, A. Herzig, and J. Mengin, editors, JELIA, volume 7519 of Lecture Notes in Computer Science, pages 385–397. Springer, 2012.

R. Stocker, N. Rungta, E. Mercer, F. Raimondi, J. Holbrook, C. Cardoza, and M. Goodrich. An approach to quantify workload in a system of agents. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pages 1041–1050. International Foundation for Autonomous Agents and Multiagent Systems, 2015.

Dr Richard S Stocker Ph.D. 4 R. Stocker, M. Sierhuis, L. A. Dennis, C. Dixon, and M. Fisher. A Formal Semantics for Brahms. In J. Leite, P. Torroni, T. Ågotnes, G. Boella, and L. van der Torre.

  • PGCHE
  • BSc
  • MSc
  • PhD