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

• Predictive modeling of signalling pathways via probabilistic model checking with PRISM.
  Funded by Microsoft Research Cambridge, 2006-2007.
  
  
• Automated Verification of Probabilistic Protocols with PRISM.
  Funded by EPSRC, 2003-2006.
  
  
• Probabilistic Model Checking of Mobile Ad Hoc Network Protocols.
  Funded by EPSRC, 2003-2006.
  
  
• Verification of Quality of Service Properties in Timed Systems.
  Funded by EPSRC, 2000-2003.
  
  
• A Future Of Reliable Wireless Ad hoc networks of Roaming Devices (FORWARD).
  Funded by QinetiQ and the DTI, 2003 - 2006.
  
  
• Automatic Verification of Randomized Distributed Algorithms.
  Funded by EPSRC, 1998-2001.
  
  
• Stochastic Modelling and Verification.
  Funded by the British Council/DAAD, 1998-2001.