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 formal specification and verification and
temporal and modal theorem-proving techniques.
I am a member of the Logic and
Computation research group.
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,
Institute for Risk and Uncertainty
am a deputy director of the Liverpool Verification
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.
Present activities include the following.
Currently I teach the following module.
Introduction to Programming in Java
I am the Department's Director of Postgraduate Research.
I am a member of the following committees.
- Graduate School DDPR Group
- School Research 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