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
Metropolitan University in December 1995, as a Research Fellow on the
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 on 1st
January 2001. I was promoted to senior lecturer in October 2004.
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
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
Institute for Risk and Uncertainty.
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
supervised (and examined) several PhD students who have now completed their studies.
- Paul Gainer
- Farah Al-Shareefi
- Wentao Zhen
- Samir Al-Abied
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.
- Graduate School DDPR Group
- Department of Computer Science PGR Staff Student Liaison Committee
Department of Computer Science,
The Ashton Building,
The University of Liverpool,
Liverpool, L69 3BX,
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