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.
-
Email
r.stocker@chester.ac.uk
Teaching
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)
Research
Applying formal verification techniques to human-robot teamwork, particularly using the Brahms work-practice simulation framework.
Published Work
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,
Qualifications
PGCHE, BSc, MSc, PhD.