Dr. Simon Miles

Department of Informatics
King's College London
Strand Campus
Bush House
30 Aldwych

+44 (0)20 7848 1166

Full CV


Please see the student handbook to see which modules I am teaching at present. Course materials are available from the College's e-learning site during teaching term.


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. Among many areas of expertise, 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, and in aerospace applications.

My own research interests relate to e-research (particularly the provenance of data), and multi-agent systems (particularly normative systems). I have published over 140 papers in these areas. A selection of my recent journal articles are listed below.

For full details and a wider selection, please see my CV or my publications in KCL's publication repository.


I am currently an investigator on the following projects.

The following projects have recently finished.

Please see my CV for older projects.


I am 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.

PhD Students

I am currently first supervisor of the following students (areas of expertise in italics).

  • Niall Creech: Agent-based self-organisation for micro-service systems
  • Sara Boutamina: Provenance in global food distribution
  • Tomas Vitek: Learning agent behaviour models
I am second supervisor of the following students.
  • Andrew Henning: Argument mining
  • Andrew Lane: Drivers of ecological disturbance, agent-based modelling
  • Paraskevi Zerva: Non-functional properties, provenance, composite services
  • Tsvetan Zhivkov: Emergency services data analytics
I was a supervisor of PhD graduates Lina Barakat, Valeriia Haberland, Christopher Haynes, Benjamin Herd, and Matthew Shaw.

I am not taking on further PhD students at the moment.

Conferences and Editing

I am editor of a special issue of ACM Transactions on Internet Technology concerning the Provenance of Online Data, published in 2017.

I am involved in the organisation of these forthcoming workshops and conferences.


Student availability

My office hours in the Spring 2018 term are 1330-1530 on Tuesdays.


My office is BH(S)5.22, in the Bush House building on the Strand campus of King's College London.

Research group

Agents & Intelligent Systems academics and researchers: