Clare Dixon


If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

My research interests include verification for robotics and autonomous systems, specification and verification of systems and theorem-proving for temporal and modal logics. In particular, I am interested in developing and applying tools and techniques that ensure systems satisfy their requirements.  I have worked with robot designers and engineers applying formal verification to their systems using logics and tools such as model
checkers and theorem provers.


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. Prior to joining Manchester she was a Professor of Computer Science in the Department of Computer Science at the University of Liverpool, working as an academic at Liverpool from 2001-2020. She was  a Senior Research Fellow and Postdoctoral Researcher in the Department of Computing and Mathematics at Manchester Metropolitan University 1995-2000.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

External positions

Honorary Professor, University of Liverpool


Areas of expertise

  • QA75 Electronic computers. Computer science


  • Verification, Automated Reasoning, Logics, Artificiial Intelligence, Reliable Autonomy and Robotics


Dive into the research topics where Clare Dixon is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or