Clare Dixon

Background

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 several PhD students who have now completed their studies.

Activities

Present activities include the following.

Member of the programme committee for Brazilian Symposium on Formal Methods (SBMF) Brasilia, Brasil, September/October 2013
Member of the programme committee for Frontiers of Combining Systems (FroCoS) Nancy, France, September 2013
Member of the programme committee for CADE-24: the 24th International Conference on Automated Deduction Lake Placid, New York June 2013
Member of the programme committee for 3rd Workshop on Hybrid Autonomous Systems 2013 Rome, Italy, March 2013
Member of the programme committee for 25th anniversary of the Australasian Joint Conference on Artificial Intelligence Sydney, Australia, December 2012
Member of the programme committee for Seventh Workshop on Logical and Semantic Frameworks, with Applications(LSFA'12), Rio de Janeiro, Brazil, September 29-30, 2012
Member of the programme committee for 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal-RN, Brazil from 23-28 September 2012
Member of the programme committee for 19th International Symposium on Temporal Representation and Reasoning, (TIME 2012), Leicester, UK, September 12-14, 2012.
Member of the programme committee for the 6th "Starting Artificial Intelligence Research" Symposium Part of ECAI 2012 Montpellier, France, August, 27-28, 2012
I am a member of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice
I am a member of the steering committee for the Time International Symposium Series.

Past activities.

Publications

Teaching

Currently I teach the following module.

COMP101 Introduction to Programming in Java

Administration

I am the Department's Director of Postgraduate Research.

I am a member of the following committees.

Graduate School DDPR Group
School Research Committee

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