Colin Paterson

University of York

Papers

4

Total Citations

40

H-Index

3

About

Colin Paterson is a leading researcher at the intersection of robotics, formal verification, and human-centric AI. His primary research areas include safety-critical control systems for human-robot collaboration, the formal specification of social and ethical norms for autonomous agents, and assured multi-agent reinforcement learning. Dr. Paterson’s most impactful contribution is the development of a tool-supported approach for the verified synthesis of optimal safety controllers in collaborative manufacturing, a work that has garnered 25 citations and directly addresses the challenge of ensuring safe human-robot interaction. He has also pioneered the specification, validation, and verification of Social, Legal, Ethical, Empathetic, and Cultural (SLEEC) requirements for autonomous agents, a framework critical for deploying AI in sensitive domains like healthcare and education. Further advancing the field, his research on assured deep multi-agent reinforcement learning provides formal guarantees for safe robotic systems operating in complex, shared environments. Through these contributions, Dr. Paterson is shaping a future where autonomous systems are not only capable but also demonstrably trustworthy and ethically aligned.

Research Focus

Key Achievements

3
H-Index
4
Papers
40
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Verified synthesis of optimal safety controllers for human-robot collaboration
25 citations · 2022
📈 Most Prolific Year: 2022 (2 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: University of York

Top Papers

  1. 1
  2. 2
  3. 3
  4. 4

Key Collaborators

Contact & Links

Available for collaboration
Content generated · 13 days ago