Clare Dixon

Clare Dixon is a Professor of Computer Science in the Department of Computer Science at The University of Manchester. She leads the Autonomy and Verification research group and is involved in research areas such as verification for robotics and autonomous systems, specification and verification of systems, and theorem-proving for temporal and modal logics. Her work includes developing and applying tools and techniques to ensure systems meet their requirements. Prior to joining Manchester, she was a Professor of Computer Science at the University of Liverpool from 2001 to 2020. She also held a Senior Research Fellow and Postdoctoral Researcher position at Manchester Metropolitan University from 1995 to 2000.

Clare Dixon is a researcher at the University of Manchester with expertise in Verification, Automated Reasoning, Robotics and Autonomous Systems, and Artificial Intelligence. Her work focuses on the formal specification and verification of autonomous robotic systems, including the use of temporal logics of knowledge and belief for reasoning about robot behavior. She has explored trust-relevant failures, swarm robotic systems, and the formal verification of security protocols. Dixon's research also addresses the challenges of verification and validation for inspection robots and the development of reliable autonomous robotic assistants. Her contributions include the mechanization of first-order temporal resolution and the application of probabilistic model checking to analyze swarm behavior.