PhD Students (Present)

• Michele Sevegnani (started October 2008) Stochastic Bigraphs with Sharing
• Robin Donaldson (started November 2008) Modelling and analysing interactions between signaling pathways in molecular biology
• Emma Cummin (started Oct 2011)  Interface Automata

 

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 Andrea Degasperi, Multi-scale Modelling of Biological Systems in Process Algebra. Research Assistant at UCD, Dublin.
• 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