Dr. Simon Miles
Department of Informatics
King's College London
+44 (0)20 7848 1166
This academic year, I am teaching the following modules. Course materials are available from the College's e-learning site during teaching term.
- Internet Systems (6CCS3INS)
- Web Infrastructure (7CCSMWIN) - was previously called The Internet (7CCSMINT) and still listed as this in some places
I am head of the Agents and Intelligent Systems research group in the Department of Informatics. The group works on distributed artificial intelligence and automated reasoning. The major areas of focus are in multi-agent systems, argumentation, normative systems, complex systems, machine learning, market-based control, uncertainty, and data provenance. The group leads research into modelling of arguments, provenance, and norms, and the development of reasoning over these in practical systems, in particular in healthcare and clinical research, to support legal reasoning, in economic marketplaces, in analysis of social networks, and in aerospace applications.
My own research interests relate to e-research (particularly the provenance of data), and multi-agent systems (particularly agent-oriented software engineering and normative systems). Since 2000, I have published over 100 papers in these areas. A selection of my recent journal articles are listed below.
- Implementing interoperable provenance in biomedical research, in Future Generation Computer Systems
- Informative Provenance for Repurposed Data – A Case Study using Clinical Research Data, in International Journal of Digital Curation
- Natural Language based Representation of User Preferences, in Interacting with Computers
- An Adaptable Architecture for Patient Cohort Identification from Diverse Data Sources, in Journal of the American Medical Informatics Association
- Evolutionary Testing of Autonomous Software Agents, Journal of Autonomous Agents and Multi-Agent Systems, in Journal of Autonomous Agents and Multi-Agent Systems.
- Requirements for Provenance on the Web, in International Journal of Digital Curation.
- Using Normative Markov Decision Processes for Evaluating Electronic Contracts: A Case Study in a Simulated Aerospace Aftermarket, in AI Communications.
- Special Issue on the Eighth European Workshop on Multi-Agent Systems (EUMAS 2010), in Applied Artificial Intelligence.
- PrIMe: A Methodology for Developing Provenance-Aware Applications, in ACM Transactions on Software Engineering and Methodology.
- The Open Provenance Model Core Specification (v1.1), in Future Generation Computer Systems.
- Mapping Attribution Metadata to the Open Provenance Model, in Future Generation Computer Systems.
- A Model of Process Documentation to Determine Provenance in Mash-ups, in ACM Transactions on Internet Technology.
- Provenance: The Bridge Between Experiments and Data, in Computing in Science and Engineering.
- The Provenance of Electronic Data, in Communications of the ACM.
- Extracting Causal Graphs from an Open Provenance Data Model, in Concurrency and Computation: Practice and Experience.
- The First Provenance Challenge, in Concurrency and Computation: Practice and Experience.
- The Requirements of Using Provenance in e-Science Experiments, in Journal of Grid Computing.
- Provenance-based Validation of E-Science Experiments, in Journal of Web Semantics.
I am currently an investigator on the following projects. Please see my CV for past projects.
- Electronic Health Records for Clinical Research (EHR4CR)
- Dynamic nutrItion bEhaviour awareness sysTem FOR the Elders (DIET4Elders)
I was an invited expert to the W3C working group on provenance, which produced a standard specifying how to represent provenance data for exchange online, PROV, including many supporting documents explaining how the provenance data may be accessed and queried, translated to other representations, extended, and so on. The specifications were published as an official W3C recommendation in April 2013. An overview of the specifications can be seen here.
In particular, I was co-editor of a primer on the recommended model for provenance data. This is an accessible starting point for anyone wishing to learn about PROV.
I am currently first supervisor of the following students (areas of expertise in italics).
- Valeriia Haberland: Negotiation strategies, Grid systems
- Christopher Haynes: Norms, emergence
- Benjamin Herd: Verification, agent-based simulations
- Paraskevi Zerva: Non-functional properties, provenance, composite services
I am not taking on further PhD students at the moment.
I am involved in the organisation of these forthcoming workshops and conferences. Please see my CV for past activities.