Research Projects

Current Projects

• Innovative Manufacturing of complex TI sheet components (INMA). This is a Framework 7 EU project with eleven partners. Involved at Liverpool are Frans Coenen, and Muhammad Khan.
• Verification of Human-Agent Teamwork With Michael Fisher, Louise Dennis and Richard Stocker.
• Reasoning about Linear Time Temporal Logic with Constraints. With Michael Fisher, Boris Konev and Sherly Nietiadi.
• Applying Temporal Logic to the Verification of Swarm Robotic Systems. With Michael Fisher, M. Carmen Fernandez Gago, Univerity of Malaga, Alan Winfield and Jin Sa, University of the West of England.
• Online Temporal Network Intrusion Detection Systems Using Stream Processing PhD project. Abdulbasit Ahmed is the research student working on this project, with Alexei Lisitsa as supervisor and myself as second supervisor.
• Logical Verification of Security Protocols with Michael Fisher, Wiebe van der Hoek, Boris Konev, M. Carmen Fernandez Gago, University of Malaga and David Berry.
• 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.

Previous Projects

• 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.