Clare Dixon

Clare Dixon is a Professor of Computer Science in the Department of Computer Science at the University of Manchester, where she leads the Autonomy and Verification research group. Previously, she held a Professorship at the University of Liverpool (2001–2020) and was a Senior Research Fellow at Manchester Metropolitan University (1995–2000). She also holds an honorary professorship at the University of Liverpool (2020–2023).

Her research focuses on verification for robotics and autonomous systems, formal methods, temporal and modal logics, and theorem proving. Key applications include ensuring systems meet safety and reliability requirements through tools like model checkers and theorem provers. She collaborates with robotics engineers to apply formal verification techniques in dynamic environments and swarm systems.

Research Interests: Verification of autonomous systems, formal specification, temporal logics, automated reasoning, and reliable robotics. Her work aligns with UN Sustainable Development Goals, particularly in advancing reliable technology and improving quality of life.

Awards:

• Best Paper Award (2018)
• Invitation to Sister Conference Best Paper Track (2017)
• Springer Best Paper Award (2014)

Projects: She is a Co-Investigator in major initiatives such as the Centre for Robotics and Artificial Intelligence, FAIR-SPACE Hub, and S4: Science of Sensor System Software, focusing on autonomous systems, space robotics, and secure sensor networks.

Labs/Teams: Leads the Autonomy and Verification group at Manchester and contributes to interdisciplinary teams in robotics, formal methods, and AI ethics.