Clare Dixon


Clare Dixon I gained a B.Sc. (Hons) Degree in Mathematics and Management Sciences in 1986 from the University of Hull. Then I taught mathematics in a rural secondary school Zimbabwe for two and a half years. On my return in 1989 I worked as a software engineer for a company producing software for manufacturing industry until 1991. Returning to education I joined the Department of Computer Science at the University of Manchester and obtained an M.Sc. Degree in Systems Design in 1992, and a Ph.D. in Computer Science in 1995. I joined the Department of Computing and Mathematics at the Manchester Metropolitan University in December 1995, as a Research Fellow on the project Proof Methods for Temporal Logics of Knowledge and Belief. In August 1997 I was appointed as a Senior Research Fellow (also known as a Research Lecturer). I was appointed Lecturer in the Department of Computer Science at the University of Liverpool in January 2001. I was promoted to Senior Lecturer in October 2004 and Reader in December 2016.



My research interests include verification of robot and autonomous systems, specification and verification of systems, theorem-proving for temporal and modal and agent logics. I am a member and the group leader for the Robotics and Autonomous Systems research group. Details of group meetings. I am a member of the Verification research group. Details of verification group meetings.

Here are details of projects I am or have been associated with. Current projects are listed below.

I am a member of the Centre for Autonomous Systems Technology, the Autonomy and Verification Laboratory, and the Institute for Risk and Uncertainty.

PhD Students

Current PhD/MPhil students include the following:- I am happy to consider suggestions for PhD projects within my areas of interest. Some potential PhD projects are described here. I have supervised (and examined) several PhD students who have now completed their studies.


Present activities include the following and past activities are also available.



Currently I teach the following module.


I am the Department's Director of Postgraduate Research.

I am a member of the following committees.

Contact Details

  Clare Dixon
  Department of Computer Science, 
  The Ashton Building,
  The University of Liverpool,
  Liverpool, L69 3BX,
  United Kingdom

Office: room 111, first floor, the Ashton Building email CLDixon [at] liv [dot] ac [dot] uk tel (+44 1 51) 795 4280 fax (+44 1 51) 795 4235