Projects

Many of the current projects have commercial involvement, and we are keen to develop further links with industry.

Current

Relative Completness for Logics of Functional Programs

EPSRC project.
Started Jan 2011.

CHANGE: Engendering Change in People's Everyday Habits Using Ubiquitous Computing

EPSRC Cross-Disciplinary Feasibility Account.
Started November 2009.

From Reasoning Principles for Function Pointers To Logics for Self-Configuring Programs

EPSRC project (EP/G003173/1)
Started November 2008 (until January 2012).
http://www.informatics.sussex.ac.uk/research/projects/PL4HOStore/

Supporting Shy Users in Pervasive Computing

EPSRC WINES III programme grant, principle-investigator.
Started October 2008.

Shaping an International Grand Challenge Community for Ubiquitous Computing

EPSRC Collaborating for Success Through People programme grant, co-investigator.
Started October 2007.

Past

UTIFORO: Pervasive Computing for Markets

UTIFORO is a project about trust in pervasive computing.
world class inter-disciplinary team bringing skills from the areas of social science, distributed software systems and the mathematical foundations of computation
For more information, visit the Utiforo website

Natural Habitats

Exploring issues involved in building a system that enables users to employ descriptions of how they want their environment to be tailored (i.e. their policies) with reference to the services that are available to them
For more information, click here.

Lowband

EPSRC funded project to investigate techniques for improving low bandwidth access to networked information resources
Project website: http://www.cogs.susx.ac.uk/projects/lowband/

SafetyNet

EPSRC funded project to develop the SafetyNet programming language to support resource management in the type system
Project website: http://www.cogs.susx.ac.uk/projects/safetynet/

Emmanate

EPSRC funded project with UCL to investigate how we can shape the mental models people hold of networked applications.
Project website: http://www.cogs.susx.ac.uk/projects/emmanate/

Alpine

BT funded project with a number of other universities to investigate active networks
Project website: http://www.cogs.susx.ac.uk/projects/safetynet/alpine/