Details of Grant 

EPSRC Reference:	EP/C539753/1
Title:	Towards a Game Semantics of Concurrency, Objects and Mobility
Principal Investigator:	Murawski, Professor A
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of Oxford
Scheme:	Advanced Fellowship (Pre-FEC)
Starts:	01 November 2005	Ends:	31 October 2010	Value (£):	223,207
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:	Panel Date Panel Name Outcome 13 Apr 2005 ICT Fellowships 2005 Interview Panel Deferred 11 Mar 2005 ICT Fellowships Sift Panel 2005 Deferred
Summary on Grant Application Form
The rapid increase in the complexity of software has led to new generations of programming languages. They have caused significant changes to the way programmers write their code and raised many challenging problems for computer scientists. Unfortunately, the developments in the relevant theories have stayed well behind the fast changes in software design.This proposal promises to reduce the gap somewhat by employing a game-theoretic approach,called game semantics, to model modern programs. This game-based view of computation has proved successful in the analysis of simpler kinds of languages. However, the most recent results suggest that it is also flexible enough to address the challenges posed by the latest programming features such as multithreading, object-orientation and mobility. We hope that the results obtained during the course of the theoretical work will give us sufficient insight into the structure of these features to develop automatic methods of their analysis and construct verification tools.
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.ox.ac.uk