Clare Dixon

Background

Clare Dixon I am a Professor of Computer Science in the Department of Computer Science at the University of Manchester. Here is my official webpage. Until June 2020 I was Professor of Computer Science in the Department of Computer Science at the University of Liverpool.

Research

My research interests include verification of robot and autonomous systems, specification and verification of systems, theorem-proving for temporal and modal logics. I lead the Autonomy and Verification 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 Autonomy and Verification Network.

PhD Students

Current PhD students include the following:-

I have supervised (and examined) several PhD students who have now completed their studies.

Publications

Here is a list of my publications.

Also see via DBLP and Google Scholar.

Activities

Present activities include the following and past activities are also available.

Teaching

I teach on the course unit COMP11120: Mathematical Techniques for Computer Science

I also supervise undergraduate final year projects and MSc projects.

Contact Details

  Clare Dixon
  Department of Computer Science, 
  Kilburn Building,
  Oxford Road
  The University of Manchester
  Manchester
  M13 9PL
  United Kingdom


  email clare.dixon [at] manchester [dot] ac [dot] uk