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