Externally Funded Research Projects

• A Population Approach to Ubicomp System Designs An EPSRC-funded, 5 year programme grant (2012-2017). A collaborative project with Matthew Chalmers (Overall PI) at Glasgow and Mark Girolami at UCL.
• VPS: Verifying Interoperability Requirements in Pervasive Systems . An EPSRC-funded, 4 year project (2008-2012). A collaborative project with Prof Michael Fisher at University of Liverpool and Dr Mark Ryan at University of Birmingham.
• Homework: Shaping Future User Centred Domestic Infrastructure . An EPSRC-funded, 4 year project (2008-2012). A large collaborative project with Prof Joe Sventek and Dr Matthew Chalmers at Glasgow, and researchers at Imperial College, University of Nottingham (Prof Tom Rodden, overall PI) and Georgia Tech.
• SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis . An EPSRC-funded, 3 year project. (2007-2010).
• Stochastic process algebra modelling of ROS regulation in oxidative stress . A Lord Kelvin/ Adam Smith research studentship. A 4 year project. (2007-2011).
• The Molecular Nose. An EPSRC-funded, 4 year project (2007-2011). A collaborative project with Biochemistry and Molecular Biology, Electronics and Electrical Engineering, and Pure and Applied Chemistry.
• A Software Tool for the Simulation and Analysis of Biochemical Networks . A DTI-funded, 4 year project, in the Beacon Programme (2003-2007).
• Computer Science Inside … . An EPSRC funded, 3 year public awareness project (2005-2008).
• VeriScope (Verification of Similar Concurrent Processes) . An EPSRC-funded, 3 year project. (2001-2004)
• National eScience Centre (NeSC) . A collaborative EPSRC project between Edinburgh and Glasgow Universities.
• Hybrid Techniques for Detecting and Resolving Feature Interactions in Telecommunications Services . A collaborative project with Prof. Evan Magill at the University of Stirling, and the companies CITEL and Mitel Telecom. EPSRC funding. Photos of the team here, and with team beards here! (1999-2001)
• Co-Chair of the 6th Int'l Workshop on Feature Interactions in Telecommunications and Software Systems, held in Glasgow, 17-19 May 2000.
• Forum for the Creation and Engineering of Telecommunications Services (FORCES) . A collaborative Engineering Programme research network involving Glasgow University, Stirling University (Prof Ken Turner), Strathclyde University (Dr Evan Magill),and the companies Ericsson, BT, and CITEL. EPSRC funding. (Finished 2003)
• Portable Robotics Laboratories for Introducing Young People to the Science of Computer Programming. An EPSRC Public Understanding of Science Award, with Dr. Roderick Murray-Smith and Alison Mitchell. See photos from our exhibit at BBC Tomorrow's World Roadshow, July 2002.(2000-2003)
• DIET. Co-investigator on research project with Dr. Carron Shankland at Stirling University. (Finished 2002)
• The Design of Interfaces for Mechanised Theorem Provers. A recently completed project with Prof Tom Melham and Phil Gray. EPSRC funding. (1997-2000)
• A University of Glasgow (SHEFC) fellowship in Feature Interaction Analysis in Telecommunications for Dr Alice Miller .
• Co-Chair of the Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems. To be held in Glasgow, 17-19 May.
• Supervisor of Dr. Alice Miller's Daphne Jackson Fellowship.
• Temporal Aspects of Verification for LOTOS Specifications. An EPSRC-funded, 3 year project. (1994-1997)
• Further Verification Techniques for LOTOS Specifications An EPSRC-funded, 3 year project. (1993-1996)
• Verification Techniques for LOTOS Specifications. An EPSRC-funded, 3 year project (1989-1992).

PhD Students (Present)

• Andrea Degaspari (started October 2007) Stochastic process algebra modeling of reactive oxygen species in oxidative stress in endothelial cells
• Michele Sevegnani (started October 2008) Automated reasoning for user-centred domestic network infrastructure
• Robin Donaldson (started November 2008) Modelling and analyzing interactions between signaling pathways in molecular biology

Postdoctoral researchers (Present)

• Dr Chris Unsworth VPS: Verifying Interoperability Requirements in Pervasive Systems .
• Dr Oana Andrei SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis .

 

Research Students (Graduated)

• Dr Douglas Graham, Parameterised Verification of Randomised Distributed Systems using State-Based Models (2008). Actuary at Hymans Robertson.
• Dr Alastair Donaldson (second supervisor) (2007). Developer at Codeplay.
• Dr Vladislav Vyshemirsky, Probabilistic Reasoning and Inference for Systems Biology (2007). Post-doctoral researcher at Glasgow University.
• Dr Brian Ross, Computing Bisimulations for Multiway Synchronising Processes (2003). Deloitte, London.
• Dr Peter Saffrey, Optimising Communication Structure for Model Checking State Spaces (2003). Post-doctoral researcher at UCL, then Glasgow University.
• Dr Stephan Reiff-Marganiec , Hybrid Feature Interaction Resolution Techniques for Telecommunications Services (2001).  Lecturer at Leicester University.
• Dr Colin Burns, The Use of Deontic Logics in Modelling Accident Reports (2003). Now technologist in company in USA.
• Dr Brian Matthews, Order-Sorted Term Rewriting Laboratory with A-C Completion and Dynamic Typing (1997). Scientific officer at CCLRC Rutherford Appleton Laboratory.
• Dr Carron Shankland , Verification of LOTOS Specifications using Term Rewriting (1994). Senior lecturer, University of Stirling.
• Dr Sharon Flynn (for one year) Refinement of Expressions (1999). Now lecturer, University of Galway.
• Alastair Reid, A Precise Semantics for Ultra-Loose Specifications (1995)
• Saaed Al-Amoudi, Compilation of Prolog into Relational Algebra (1990)

Possible PhD topics

• Process algebra approaches to analysis of signaling pathways and biological systems
• Model checking and induction
• Reasoning about (probabilistic) communications protocols