Photo of Prof Clare Dixon

Prof Clare Dixon BSc, MSc, PhD

Reader Computer Science

Research

Verification of robotic systems

The formalisation and analysis of robotic systems using formal verification. Formal verification involves a mathematical analysis of all behaviours using logics, and tools such as theorem provers or model checkers. Theorem provers involve mathematical proof in an appropriate logic. Model checkers are an automated, exhaustive algorithmic technique to check properties of a system over its state space. We have applied such techniques to robot swarms (groups of simple robots), robotic assistants and robots operating in extreme environments to make sure they are reliable, safe, trustworthy and achieve their purpose.

Automated reasoning for temporal and modal logics

The development, application and experimentation with calculi and related theorem provers for a variety of modal, temporal and agent logics. A variety of logics have been developed to capture and model particular aspects of the world. Here we develop calculi to mechanise reasoning via theorem proving. We apply the developed provers to particular domains and experiment with them.

Verification and Validation for Security

I am interested in applying logical techniques to aspects of security. Recent work has applied formal verification to autonomous systems based on threat analysis techniques (with the University of Warwick). Another project considers modelling and validation of security protocols using Abstract State Machines. Earlier work relates to signature based Intrusion Detection where attacks are specified using temporal logics. These are translated into data stream queries and stream data processing systems are used to identify attacks.

Research Grants

Robotics and Artificial Intelligence for Nuclear - RAIN

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

October 2017 - March 2021

Science of Sensor System Software.

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

January 2016 - December 2020

Future AI and Robotics for Space - FAIR-SPACE

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

November 2017 - March 2021

Trustworthy Robotic Assistants

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

March 2013 - August 2016

Research Collaborations

Michael Fisher

Internal

Joint papers and projects in the area of verification and logics

Ullrich Hustadt

Internal

Joint papers and projects in the area of logics and automated reasoning.

Alexei Lisitsa

Internal

Joint papers in the area of security

Claudia Nalon

External: University of Brasilia

Joint papers in the area of logics and automated reasoning