Details of Grant 

EPSRC Reference:	EP/G056927/1
Title:	Formal Foundations of Autonomic Computing
Principal Investigator:	Fisher, Professor M
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of Liverpool
Scheme:	Standard Research
Starts:	01 May 2009	Ends:	31 October 2009	Value (£):	33,533
EPSRC Research Topic Classifications:	Artificial Intelligence
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:	Panel Date Panel Name Outcome 04 Mar 2009 ICT Prioritisation Panel (March 09) Announced
Summary on Grant Application Form
This is a proposal to support the visit of Dr. Simon Dobson of University College Dublin to the University of Liverpool during 2009. Simon Dobson is well known for his fundamental contributions to the theory and practice of open and autonomic systems, particularly in developing applicable formalisms. To summarize, open adaptive and autonomic systems are becoming widely used, yet there is no coherent formal model for their use and analysis. We believe that, via collaboration between the visiting researcher and the principal investigator we will be able to fundamentally impact upon this vital area. The collaborators are ideally placed to conduct this research. Dr. Dobson is well-known within the field of autonomic systems, where he has pioneered whole-system approaches to adaptive system analysis. Prof Fisher is experienced in the validation and verification of agent systems using logical techniques. The combination of these two approaches will develop a powerful basis for specifying adaptive systems and for their verification, leading towards the development of novel programming techniques (in which the collaborators are both experienced).The work of the principal investigator on formal modelling and verification of open and agent-based systems, together with that of the visiting researcher himself, is clearly of relevance to the objectives of our collaboration. In particular, we aim to exploit Dr. Dobson's expertise in the formalization of autonomic systems not only to improve the work carried out on the related EPSRC-funded projects, but also to open new and exciting avenues for collaboration.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.liv.ac.uk