Clare Dixon

Background

Here is my new webpage as I have moved to Department of Computer Science at the University of Manchester. 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 and agent logics. I am a member of the Robotics and Autonomous Systems research group. I was the group leader from 2015-2017. I am a member of the Verification research group.

Here are details of projects I am or have been associated with. Current projects are listed below.

Future AI and Robotics for Space (FAIR-SPACE)
Robotics and AI in Nuclear (RAIN)
Science of Sensor Systems Software A PhD Studentship is available related to this project. This PhD studentship is still open.

I am a member of the the Autonomy and Verification Laboratory and the Centre for Autonomous Systems Technology.

PhD Students

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

Activities

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

Member of the programme committee for XX Brazilian Logic Conference (EBL), Salvador, Brazil, 2021
Member of the programme committee for 23rd Brazilian Symposium on Formal Methods (SBMF), Ouro Preto, Brazil, 25th-27th November 26th, 2020
Keynote Speaker for the the 27th International Symposium on Temporal Representation and Reasoning (TIME), and the 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata and sYnthesis (OVERLAY) Bozen-Bolzarno (online), Italy, September 23rd-25th, 2020
Member of the programme committee for the 27th International Symposium on Temporal Representation and Reasoning (TIME), Bozen-Bolzarno (online), Italy, September 23rd-25th, 2020
Member of the programme committee for Joint Symposium DARS-SWARM 2020: the 15th International Symposium on Distributed Autonomous Robotic Systems 2020 and the 4th International Symposium on Swarm Behaviour and Bi-Inspired Robotics 24-27 November 2020, Kyoto, Japan (now cancelled and postponed until 1st-4th June 2021.)
Member of the programme committee for the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, (IJCAI-PRICAI 2020) Yokohama, Japan, July 2020
Member of the programme committee for the 24th European Conference on Artificial Intelligence, ECAI 2020, Santiago de Compostela, Spain, June, 2020
I am a member of the steering committee for the International Symposium on the Frontiers of Combining Systems (FroCoS)
I am a member of the steering committee for the Time International Symposium Series until 2020.
I am a member of the BSI Standards Committee, AMT/010 Robotics
I am a member of the EPSRC Peer Review College

Publications

Contact Details

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

  email CLDixon [at] liv [dot] ac [dot] uk