King's College London

King's College London is a major multi-faculty university with almost 19,500 students. It is one of the two founding colleges of the University of London and has a leading position in UK higher education with a world-wide reputation for research and teaching. This project is conducted within the Agents and Intelligent Systems (AIS) research group in the Department of Informatics. AIS has a range of expertise related to artificial intelligence and distributed systems, with particular emphasis on multi-agent systems, data provenance, argumentation, medical informatics, and complex systems. If you are interested in the research group or wish to attend our seminar series, please contact the head of group, Dr Simon Miles, at The research undertaken in the Department of Informatics also encompasses AI planning, robotics, telecommunications, bioinformatics, and formal software modelling.

Dr Simon Miles is Reader in Computer Science in King's College London's Department of Informatics, which he joined in 2007. His past research has been in the areas of e-research, particularly data provenance, and multi-agent systems, particularly agent-oriented software engineering, with many publications in these areas. He was a member of the W3C working group which published the PROV standard for provenance interoperability in 2013. In addition to EELS, he is principal investigator or co-investigator on a set of other projects: Justified Assessments of Service Provider Reputation, Electronic Healthcare Records for Clinical Research, and DIET4Elders.

Peter McBurney is a Professor of Computer Science and Head of the Department of Informatics in the Faculty of Natural and Mathematical Sciences of King's College London. McBurney is a member of the Agents and Intelligent Systems (AIS) Group of the Department, and his research focuses on agent-based simulation models of complex adaptive systems. His particular interest is in modeling, generating, and controlling co-evolutionary dynamics in systems comprising intelligent entities, able to communicate with and reason about one another. He has explored the application of these models in domains such as new product marketing, financial markets, human diseases, and cyber conflict. This interest has also led to work on languages and protocols to support communication between intelligent software agents. He is currently co-editor of the journal, The Knowledge Engineering Review, published by Cambridge University Press. During 2008-2011, he was an invited Board Member of the Association for Trading Agent Research, organizers of the annual Trading Agent Competitions (TAC).

Michael Luck is Professor of Computer Science and Dean of the Faculty of Natural and Mathematical Sciences at King's College London. He was Head of the Department of Informatics from 2011 to 2013, where he also works in the Agents and Intelligent Systems group, undertaking research into agent technologies and intelligent systems. His research interests include: formal models for intelligent agents and multi-agent systems; formalisation of existing practical agent systems and theories; information-based agent applications in domains such as genome analysis; norms and institutions; trust and reputation; agent infrastructure; declarative programming of agent systems; agent-oriented software engineering; application to Grid computing; and industrial deployment and technology forecasting. He led work at King's on the IST CONTRACT project, concerned with distributed electronic business systems on the basis of dynamically generated, cross-organisational contracts, on a BAe Systems Defence Technology Centre project on norm and organisaton based practical reasoning, and on an EPSRC Bridging the Gaps project in Interdisciplinary Informatics. He is Scientific Advisor to the Board for Aerogility.

Chris Haynes is a Postdoctral Researcher in King's College London's Department of Informatics. He is nearing the submission of his PhD thesis on Organisational Norms, funded by EPSRC. His thesis focusses on methods to ensure that organisational norms remain congruent to the needs of the organisation in dynamic environments by monitoring, improving and replacing norms when necessary.