Current Externally Funded Projects

• PRISM. Created with support from QinetiQ, EPSRC and EPSRC MATHFIT Studentship for Dave Parker. Thesis shortlisted for the BCS Distinguished Dissertation Award 2003.
  
  
• Automated quantitative software verification with PRISM, funded by EPSRC (EP/D07956X), 2006-2010.
  Principal investigator. Research Officers: Dave Parker and Mark Kattenbelt.
  Visiting Fellowship for Carroll Morgan and Annabelle McIver.
  
  
• UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures. Research Officers: Gethin Norman and Doina Bucur.
  Collaboration between UCL, University of Oxford, Cambridge and Imperial College. EPSRC EP/D076625/1, 2006-2010.
  
  
• PSS: Predictable Software Systems, part of LSCITS: Large-Scale Complex IT Systems Initiative. Research Officers: Radu Calinescu and Ashutosh Trivedi. DPhil student: Lu Feng.
  Collaboration between Universities of Bristol, Oxford, York, St Andrews and Leeds. EPSRC EP/F001096/1, 2007-2012.
  
  
• Shaping an International Grand Challenge Community for Ubiquitous Computing. Collaborative project led by Professor Tom Rodden at the University of Nottingham. EPSRC EP/F013442/1, 2007-2009.
  
  
• 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.

Completed Projects

• 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.
  
  
• e-Science Pilot Project on Integrative Biology. Collaboration between the universities of Oxford, Auckland, Nottingham, Sheffield, Leeds, Birmingham, UCL and CCLRC. EPSRC GR/S72023/01, 2004-2007.
  PhD student: Oksana Tymchyshyn.
  Twiki.
  
  
• ProNoBiS: Probability and Nondeterminism, Bisimulations and Security. Collaboration between INRIA, ENS Cachan and the universities of Birmingham, Verona, Paris 7 and QML. 2006-2007.
  
  
• Predictive modelling of signalling pathways via probabilistic model checking with PRISM. Project funded by Microsoft Research Cambridge under the Computational tools for advancing science call for papers. With John Heath, Biosciences at Birmingham, and Andrew Finney. MRL contract 2005-04, 2006-2007.
  
  
• Probabilistic Model Checking of Mobile Ad Hoc Network Protocols. 162K pounds approx, funded by EPSRC (GR/S46727), 2003-2006.
  Principal investigator. Research Fellow: Gethin Norman.
  Collaboration with Prof. Ian Marshall, BTexact and UCL.
  
  
• An Integrated Framework for Formal Verification and Distributed Simulation of Asynchronous Hardware. EPSRC GR/S11091 and GR/S11084 (joint with Manchester, 380K in total, 205K for Birmingham). 2003-2006.
  Co-investigator (principal investigator Georgios Theodoropoulos). Research Fellow: Xu Wang. Associated project studentship: Ilias Tsirogiannis.
  
  
• Automated Verification of Probabilistic Protocols with PRISM. 180K pounds approx, funded by EPSRC (GR/S11107), 2003-2006.
  Principal investigator. Research Fellow: Dave Parker. Visiting Fellowship for Roberto Segala, University of Verona.
  
  
• Midlands e-Science Centre of Excellence in Modelling and Analysis of Large Complex Systems (MeSC), 152K pounds approx, funded by EPSRC GR/S27252, 2003-2005. Principal investigator, with Mike Allen, Andrew Chan, Peter Knowles, Georgios Theodoropoulos and Peter Watkins.
  Principal investigator. Research Fellows: Yi Zhang and Aidan Harding (part-time).
  
  
• A Future Of Reliable Wireless Ad hoc networks of Roaming Devices (FORWARD), part of Next Wave Technologies and Markets, 2003-2005. 80K pounds approx, funded by DTI/QinetiQ.
  Partner site. Research Fellow: Marie Duflot.
  
  
• The Feature Construct in Programming and Specification Languages. 183K pounds approx, funded by EPSRC (GR/R02214). 2001-2004.
  Co-investigator (principal investigator Mark Ryan). Research Fellow: Dimitar Guelev. PhD student: Nan Zhang.
  
  
• CaberNet, IST Network of Excellence in Dependability. Associate member site.
  
  
• Verification of Programs for Control Systems. PhD Studentship for Bohumir Zoubek. From 1st October 2000-04.
  
  
• Verification of Quality of Service Properties in Timed Systems. 185K pounds approx, funded by EPSRC (GR/N22960), 2000-2003.
  Principal investigator. Research Fellow: Gethin Norman. Honorary Research Fellow: Jeremy Sproston. PhD student: Stefano Cattani.
  Visiting Fellowship for Joost-Pieter Katoen, University of Twente, funded by EPSRC (GR/N31573).
  
  
• Stochastic Modelling and Verification. British-German Academic Research Collaboration with University of Edinburgh, University of Bonn (previously Mannheim) and University of Erlangen-Nurnberg.
  British project leader.
  Funded by British Council/DAAD (7K pounds for the British team), 1998-2002.
  
  
• Automatic Verification of Randomized Distributed Algorithms. 142K pounds, funded by EPSRC (GR/M04617), 1998-2001.
  Principal investigator (co-investigator Mark Ryan). Research Fellow: Gethin Norman.
  Associated Visiting Fellowship for Roberto Segala (University of Bologna), funded by EPSRC (GR/M13046).
  
  
• Reasoning with Fairness. 73K pounds, funded by EPSRC, 1994-1997.
  Principal investigator. Research Fellow: Michael Huth.
  
  
• An Effective Approach to Measure Theory, Image Compression, and Statistical Physics. British-German Academic Research Collaboration with Imperial College and University of Darmstadt. Joint with Achim Jung.
  Funded by British Council/DAAD, 1995-1998.