Research Projects
Here are some of the research projects Clare Dixon is (or has been) involved with.
Current Projects
Previous Projects
Details of projects I have been associated with in the past listed below.
-
Trustworthy Robotic Assistants.
-
Verification of Swarm Robotic Systems.
-
Reasoning about Linear Time Temporal Logic with Constraints. With
Boris Konev and
Michael Fisher, and
Wentao Zhen, and
Sherly Nietiadi.
-
Innovative Manufacturing of complex TI sheet components
(INMA). This was a Framework 7 EU project with eleven partners.
Involved at Liverpool are
Frans Coenen,
and
Muhammad Khan and Samir Al-Abied.
- Verification of Human-Agent Teamwork
With
Michael Fisher,
Louise Dennis and
Richard Stocker.
- Online Temporal Network Intrusion Detection Systems Using Stream
Processing
PhD project. Abdulbasit Ahmed was the research student working on this project, with
Alexei Lisitsa as
supervisor and myself as second supervisor.
-
Practical Reasoning Approaches for Web Ontologies and Multi-Agent
Systems.
An EPSRC funded research project
with Ullrich Hustadt,
and PhD student Lan Zhang
at the University of Liverpool and
Renate Schmidt and
Dmitry Tishkovsky at the University of
Manchester.
- Logical Verification of Security Protocols
with
Michael Fisher,
Wiebe van der Hoek,
Boris Konev,
M. Carmen Fernandez Gago, University of Malaga and
David Berry.
-
Dynamic Ontologies: a Framework for Services Descriptions.
An EPSRC funded research project with
Frank Wolter
at the University of Liverpool
Ian Horrocks
and Ulrike Sattler at the
University of Manchester
and Michael Zakharyaschev,
Anatoli Degtyarev,
and Agnes Kurucz
at Kings College London.
- Analysis and
Mechanisation of Decidable First-Order Temporal Logics.
An EPSRC funded research project with
M. Carmen Fernandez Gago and
Michael Fisher and
Ullrich Hustadt and
Boris Konev and
Frank Wolter
at the University of Liverpool
and Michael Zakharyaschev,
Anatoli Degtyarev,
Dov Gabbay
at Kings College London and
Ian Hodkinson at Imperial
College London.
-
Model Checking for Mobility: Lightweight Model Checking.
A Marie-Curie Development Host project where
Michael Fisher is the
project co-ordinator and Radina Dontcheva is the research associate.
-
Proof Methods for Multi-Agent Systems. Collaborative EPSRC funded research project
with Renate Schmidt
and Dmitry Tishkovsky at the
University of Manchester and Michael Fisher and Ullrich Hustadt at The
University of Liverpool.
- Resolution Based Theorem proving for Temporal Logics of Knowledge and Belief
with Interactions. This is an EPSRC funded research grant. I was
principal investigator and supervisor, Claudia
Nalon was the research student associated with the project and
Michael Fisher was
second supervisor.
- Efficient
Control of Temporal Reasoning. This is a
PhD project. Mari Carmen
Fernandez Gago is the research student working on this project, with
Michael Fisher as
Director of Studies and myself as supervisor.
-
Developing Clausal Resolution for the Temporal Mu-Calculus This was an
EPSRC funded research grant.
Michael Fisher was
principal investigator and
Alexander Bolotov
and I are co-investigators.
- Implementing
Clausal Resolution Project partially funded by Liverpool University's
RDF funding with Michael Fisher and myself and proposers and Boris Konev as
research fellow.
- Proof
Methods for Temporal Logics of Knowledge and Belief. I was employed as
research fellow on this EPSRC funded research project for 21 months. Later
I was involved as co-investigator, with
Michael Fisher as
principal investigator and
Ullrich Hustadt as
the research fellow on the project.
-
Clausal Resolution for Branching Time Logics PhD project, with
Alexander Bolotov
as the research student and Michael Fisher as
director of studies.