Clare Dixon


Background

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 on 1st January 2001. I was promoted to senior lecturer in October 2004.

Research

Interests

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, the Institute for Risk and Uncertainty and am a deputy director of the Liverpool Verification Laboratory.

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.

Activities

Present activities include the following. Past activities.

Publications

Teaching

Currently I teach the following module.

Administration

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