Projects

• CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems.
  Collaborative FP7 research project led by Professor Valerie Issarny at INRIA and including partner sites in France, Germany, Sweden, Italy, China and the UK. EU FP7, 2009-2012.
  
  
• 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.
  
  
• Model-Checking Algorithms for Timed Systems.
  Funded by EPSRC, 2007-2011.
  
  
• CSP Model Checking: New Technology and Techniques.
  Funded by EPSRC, 2007-2011.

Completed Projects

• CancerGrid: Open standards for clinical cancer informatics.
  Collaboration between the universities of Cambridge, Oxford, Birmingham, UCL and Belfast.
  Funded by MRC.
  
  
• 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.
  
  
• 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.
  
  
• 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.