|
| Name: |
Professor M Wooldridge |
| Organisation: |
University of Oxford |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Computer Graphics & Visual.
|
|
Human-Computer Interactions
|
Statistics & Appl. Probability
|
|
| Current EPSRC Support |
| EP/Y028805/1 | AI HUB IN GENERATIVE MODELS | (C) |
| 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
|
| |
|
|
|
|