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
- 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,
- Dr Peter
Saffrey, Optimising Communication Structure
for Model Checking State Spaces (2003). Post-doctoral researcher at UCL,
then
- Dr Stephan
Reiff-Marganiec , Hybrid Feature Interaction Resolution
Techniques for Telecommunications Services (2001). Lecturer at
- Dr Colin Burns, The
Use of Deontic Logics in Modelling
Accident Reports (2003). Now technologist in company in
- 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,
- 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