EPSRC logo
Researcher Details
 
Name: Professor M Wooldridge
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Statistics & Appl. Probability

Current EPSRC Support
EP/W002949/1 Turing AI Fellowship: The LARGE AGENT COLLIDER: Robust agent-based modelling at scale(P)
Previous EPSRC Support
EP/M009130/1 Combining Qualitative and Quantitative Reasoning for Logic-based Games(P)
EP/E061397/1 Logic for Automated Mechanism Design and Analysis (LAMDA)(P)
EP/D052548/1 Model Checking Agent Programming Languages(C)
EP/E00105X/1 LOFT06: Logic and the Foundations of Game and Decision Theory(C)
GR/T10657/01 Market Based Control of Complex Computational Systems(P)
GR/S62727/01 Virtual Organisations for e-Science(P)
GR/R60836/01 Algorithmics for Agent Design & Verification(C)
GR/R27518/01 Verifiable Languages & Protocols For Multi-Agent Systems(P)
GR/M07076/02 PRACTICAL NEGOTIATION OF ELECTRONIC COMMERCE(P)
GR/M07076/01 PRACTICAL NEGOTIATION OF ELECTRONIC COMMERCE(P)
GR/K57282/01 PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator