About
Richard Stocker is a Senior Lecturer in the Department of Computer and Engineering Sciences at The University of Chester, affiliated with the Faculty of Science, Business and Enterprise. He previously worked as a grade II Computer Scientist at NASA Ames (2013–2015), focusing on human-agent-robot interactions and air traffic control simulations. Before joining Chester in 2017, he taught at Middlesex University (2015–2017). His current roles include designing the new Data Science programme and overseeing the Year in Industry module, where students gain industry experience.
Education:
- BSc in Computer Science (2005), University of Liverpool
- MSc in Advanced Computer Science (2008), University of Liverpool
- PhD in Formal Verification of Human-Agent-Robot Teamwork (2013), University of Liverpool
Richard’s research interests span Formal Methods, Human-Agent-Robot Simulation, and Energy-Efficient Computing, with recent work emphasizing Quantum-Dot Cellular Automata (QCA) circuits for ultra-low power dissipation. His projects combine QCA design innovations with practical applications in nanochip integration, robotics, and affective computing. Prior work includes formal verification of astronaut-rover teams for planetary exploration and stigmergy-based swarm robotics coordination.
His publications reflect a strong focus on reversible computing and nanotechnology, alongside contributions to audio emotion recognition and multi-agent systems. Energy efficiency and physical-level quantum mechanics modeling are recurring themes in his QCA research.
Advising & Grants:
- Mentored student Mohammed Alharbi
- Former Programme Leader for Software Engineering
- Designed the Data Science programme at the University of Chester
He is affiliated with the Health and Wellbeing Research and Knowledge Exchange Institute, contributing to interdisciplinary projects at the faculty level.
