Details of Grant 

EPSRC Reference:	GR/A11731/01
Title:	MODELS AND AXIOMS FOR THE SEMANTICS OF COMPUTATION
Principal Investigator:	Simpson, Professor A
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Informatics
Organisation:	University of Edinburgh
Scheme:	Advanced Fellowship (Pre-FEC)
Starts:	01 October 2001	Ends:	31 March 2007	Value (£):	241,366
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:	Panel Date Panel Name Outcome 11 Jan 2001 IT Advanced Fellowship Interview Panel Deferred 07 Dec 2000 IT Fellowship Sift Panel Deferred
Summary on Grant Application Form
This proposal studies mathematical models of computation. Such models are useful in the specification and verification of computational systems. Their study also constitutes basic research, contributing to the development of a general science of computation.The proposal consists of two threads: models , which examines applications of particular mathematical models to specific computational situations; and axioms , which seeks axiomatic accounts of the common properties amongst such models.Three specific forms of computation are examined under models . One is exact real number computation, i.e. real arithmetic without round-off errors. The goal is to achieve a systematic comparison of competing approaches to this within functional programming. The second form of computation is nondeterminism, including probabilistic computation. Again the goal is a classification of competing approaches, aiming in particular at the first treatment of notions of computability for probabilistic functional computation. The third application is concurrency, a broad paradigm that includes distributed, and reactive systems. Here, I shall make contributions to the development of notions of model and to methods of verification.Under axioms , I shall develop axiomatic accounts of: models for recursively defined datatypes; equational theories of higher-order recursion; and exact real arithmetic.
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.ed.ac.uk