Projects
-
Predictable Software Systems.
Funded by EPSRC, 2007-2012.
-
Shaping an International Grand Challenge Community for Ubiquitous Computing.
Collaborative project led by Professor Tom Rodden at the University of Nottingham, 2007-2009.
-
Automated quantitative software verification with PRISM.
Funded by EPSRC, 2006-2010.
-
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures.
Collaboration between University of Birmingham, UCL and Imperial College.
Funded by EPSRC, 2006-2010.
-
ProNoBiS:
Probability and Nondeterminism, Bisimulations and Security.
Collaboration between INRIA, ENS Cachan and the universities of Birmingham, Verona, Paris 7 and QML.
2006-2007.
-
e-Science Pilot Project on Integrative Biology.
Collaboration between the universities of Oxford, Auckland, Nottingham, Sheffield, Leeds, Birmingham, UCL and CCLRC.
Funded by EPSRC (GR/S72023/01), 2004-2007.
Twiki.
-
CancerGrid: Open standards for clinical cancer informatics.
Collaboration between the universities of Cambridge, Oxford, Birmingham, UCL
and Belfast.
Funded by MRC.
-
ePCRN: electronic Primary Care Research Network.
Collaboration between the universities of Minnesota, Birmingham, Chicago and University of California San Francisco.
Funded by National Institutes of Health.
Completed Projects