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.

Efficient XOR Subfragments of Linear Time Temporal Logic.
Applying Temporal Logic to the Verification of Swarm Robotic Systems.
Logical Verification of Security Protocols.
Dynamic Ontologies: a Framework for Services Descriptions.

I am a deputy director of the Liverpool Verification Laboratory

Activities

Present activities include the following.

Member of the programme committee for Brazilian Symposium on Formal Methods (SBMF 2009), Gramado, Brazil, 19-21 August 2009
Member of the programme committee for Fourth Workshop on Logical and Semantic Frameworks, with Applications(LSFA'09), Brasilia, Brazil, June 2009
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.

COMP525 Reasoning about Action and Change: second semester.

Administration

I am the department's undergraduate Admissions Tutor. Information for propsective students.

I am a member of the following committees.

Board of Studies in Computer Science
Teaching Quality Working Group
Faculty Admissions Group

Pictures

Web Sites

Contact Details

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

Office: room 111, first floor, the Ashton Building email C.Dixon@csc.liv.ac.uk tel (+44 1 51) 795 4280 fax (+44 1 51) 795 4235