Skip to main content

Research

Research Interest 1

Epistemic Logic, Belief Revision, Dynamic Epistemic Logic, Modal Logic, Logical Foundations of Agent Programming Languages, Reasoning about Cooperation, Game Theory

Research grants

EPSRC Core Equipment Award 2020

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

November 2020 - April 2022

PROSPER

RESEARCH ENGLAND (UK)

April 2021 - September 2023

Autonomous Mobile Robot Chemists

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

October 2020 - March 2024

Digital Innovation Faciltiy (DIF)

LIVERPOOL CITY REGION COMBINED AUTHORITY (UK)

July 2018 - October 2020

EPSRC Capital Award emphasising support for ECRS

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

October 2018 - March 2020

A co-ordination network for agent-based computing (AGENTLINK III).

EUROPEAN COMMISSION

January 2004 - December 2005

Logic for Automated Mechanism Design and Analysis (LAMDA)

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

October 2007 - September 2010

6th European Agent Systems Summer School (EASSS).

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

July 2004 - October 2004

Tenth European Conference on Logics in Artificial Intelligence

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

September 2006

LOFT06:Logic and the Foundations of Game and Decision Theory

ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL

June 2006 - July 2006