Dr. Simon Miles
Department of Informatics
King's College London
+44 (0)20 7848 1166
This academic year, 2012/13, I am teaching the following modules. Course materials are available from the College's e-learning site.
- Internet Systems (6CCS3INS)
- The Internet (7CCSMINT)
My 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 90 papers in these areas. A selection of my recent journal articles are listed below.
- Evolutionary Testing of Autonomous Software Agents, Journal of Autonomous Agents and Multi-Agent Systems, in Journal of Autonomous Agents and Multi-Agent Systems, 2012.
- Requirements for Provenance on the Web, in International Journal of Digital Curation, 2012.
- Using Normative Markov Decision Processes for Evaluating Electronic Contracts: A Case Study in a Simulated Aerospace Aftermarket, in AI Communications, 2012.
- Special Issue on the Eighth European Workshop on Multi-Agent Systems (EUMAS 2010), in Applied Artificial Intelligence, 2012.
- PrIMe: A Methodology for Developing Provenance-Aware Applications, in ACM Transactions on Software Engineering and Methodology, 2011.
- The Open Provenance Model Core Specification (v1.1), in Future Generation Computer Systems, 2011.
- Mapping Attribution Metadata to the Open Provenance Model, in Future Generation Computer Systems, 2011.
- A Model of Process Documentation to Determine Provenance in Mash-ups, in ACM Transactions on Internet Technology, 2009.
- Provenance: The Bridge Between Experiments and Data, in Computing in Science and Engineering, 2008.
- The Provenance of Electronic Data, in Communications of the ACM, 2008.
- Extracting Causal Graphs from an Open Provenance Data Model, in Concurrency and Computation: Practice and Experience, 2008.
- The First Provenance Challenge, in Concurrency and Computation: Practice and Experience, 2008.
- The Requirements of Using Provenance in e-Science Experiments, in Journal of Grid Computing, 2007.
- Provenance-based Validation of E-Science Experiments, in Journal of Web Semantics, 2007.
For a wider selection, please see my CV or my publications in the Department EPrints repository.
I am currently a co-investigator on the following projects. Please see my CV for past projects.
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
- Lina Barakat: Service selection and composition
- Paraskevi Zerva: Non-functional properties, provenance, composite services
I am involved in the organisation of these forthcoming workshops and conferences. Please see my CV for past activities.