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.
- Distributed Systems (6CCS3DSM/7CCSMDSM)
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 120 papers in these areas. A selection of my recent journal articles are listed below.
- The Rationale of PROV, in Journal of Web Semantics
- An Introduction to Reasoning over Qualitative Multi-attribute Preferences, in Knowledge Engineering Review
- Decision Making with Natural Language based Preferences and Psychology-inspired Heuristics, in Engineering Applications of Artificial Intelligence
- 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, in Journal of Autonomous Agents and Multi-Agent Systems.
- Requirements for Provenance on the Web, in International Journal of Digital Curation.
- PrIMe: A Methodology for Developing Provenance-Aware Applications, in ACM Transactions on Software Engineering and Methodology.
I am currently an investigator on the following projects. Please see my CV for past projects.
- Justified Assessments of Service Provider Reputation (JASPR), Principal investigator at KCL and overall project coordinator
- Engineering Emergence in Large-Scale Simulations (EELS), Principal investigator at KCL and overall project coordinator
- Electronic Health Records for Clinical Research (EHR4CR), Lead investigator for Informatics at KCL
- Dynamic nutrItion bEhaviour awareness sysTem FOR the Elders (DIET4Elders), Principal Investigator at KCL
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.
I am currently first supervisor of the following students (areas of expertise in italics).
- Christopher Haynes: Norms, organisational performance
- 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.
- Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), Phoenix, US, February 2016, PC member
- Seventh USENIX Workshop on the Theory and Practice of Provenance (TAPP 2015), Edinburgh, UK, July 2015, PC member
- Eighteenth International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@IJCAI 2015), Buenos Aires, Argentina, July 2015, PC member
- Fourth IEEE International Workshop on Methods for Establishing Trust with Open Data (METHOD 2015), Bethlehem, USA, October 2015
- Sixth International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015), Berlin, Germany, September 2015, PC member