Current projects
A short description of some of the main research themes within the group (including the Kappa pages on the constrainedness project).
 

Grants
Information about grants past and present held by group members.
 

Publications
Links to most of our recent refereed publications. 
 

Research Reports
Our own inter-group Research Report series.
 

Who are our collaborators?

We have collaborated with many different people and companies in the past. We are always keen to expand this list!

The people we have collaborated with include:

James Caldwell, Wyoming University
Martin Dyer,  University of Leeds
Jeremy Frank, NASA Ames
Holger Hoos, UBC
Pedro Meseguer, IIIA
Judith Underwood, QSS
Paul Williams, LSE

The companies we have collaborated with include:

BT Research Labs
Corus
ILOG
London Transport
Pirelli
Tollpost-Globe
SINTEF