Personal tools
You are here: Home Research Groups and Projects Former Projects

Former Projects

GAMES network

GAMES is a Research Training Network funded by the European Comission under the Fifth Framework Programme. The collaboration involves seven European universities and one from the US. There is a growing need for formal methods that guarantee the reliability, correctness, and efficiency of computerised systems. This project adresses this challenge by developing specification and validation methodologies that are based on games and automata. Oriented at both foundational research and modern applications, this network aims to provide a novel set of techniques for the synthesis and validation of computing systems.

Mobile Resource Guarantees

The MRG project was funded in 2002-2005 under the Global Computing pro-active initiative of the Future and Emerging Technologies part of the Information Society Technologies programme of the European Commission's Fifth Framework Programme.

The Mobile Resource Guarantees (MRG) project has developed the infrastructure needed to endow mobile code with independently verifiable certificates describing its resource behaviour (space, time, etc.).

APPSEM - Applied Semantics

APPSEM is a working group in the ESPRIT programme of the European Union. The project aims to bring together programming language reseachers, with the specific aim of improving communication between theoreticians and practitioners. We hope to focus theoreticians' attention on important practical problems as well as to speed up the application of new theoretical ideas in practice.

The .NET lab

The Edinburgh .NET lab aims to stimulate research projects in Informatics where .NET is a relevant technology. Microsoft have funded ten Windows XP machines, fully equipped with the .NET development environment and supporting software tools. All Informatics staff and PhD students are welcome to use the lab, as are MSc or undergraduate students with a research interest in working with .NET.

 
Document Actions
Document Actions