Description: Description: \\Unix1\muffy\public_html\line3.gif

Externally Funded Research Projects


EPSRC Projects - Grants on the Web

Postdoctoral researchers (Present)

Research Students (Graduated)

  • Dr Michele Sevegnani. Bigraphs with sharing and applications in wireless networks (2012). Post-doctoral fellow and researcher at Glasgow University.
  • Dr Robin Donaldson. Modelling and analysis of structure in cellular signaling systems (2012). Post-doctoral researcher at Stanford, now entrepreneur.
  • Dr Andrea Degasperi. Multi-scale Modelling of Biological Systems in Process Algebra (2011). Post-doctoral researcher at Cambridge.
  • 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, then Lecturer now Reader at Imperial College, London.
  • Dr Vladislav Vyshemirsky. Probabilistic Reasoning and Inference for Systems Biology (2007). Lecturer at Strathclyde University, then Lecturer at Glasgow University.
  • Dr Brian Ross. Computing Bisimulations for Multiway Synchronising Processes (2003). Deloitte, London then Australia.
  • Dr Peter Saffrey. Optimising Communication Structure for Model Checking State Spaces (2003). Post-doctoral researcher at UCL, then Bioinformatics Scientist, Illumina.
  • Dr Stephan Reiff-Marganiec. Hybrid Feature Interaction Resolution Techniques for Telecommunications Services (2001). Lecturer, then Senior 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). Professor, University of Stirling.
  • Dr Sharon Flynn. (for one year) Refinement of Expressions (1999). Lecturer, University of Galway.
  • Dr Alastair Reid. A Precise Semantics for Ultra-Loose Specifications (1995). PhD Defining interfaces between hardware and software: Quality and performance (2019). Researcher, ARM.
  • Saeed Al-Amoudi, Compilation of Prolog into Relational Algebra (1990). Saudi Aramco.

Possible PhD topics

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


Description: Description: \\Unix1\muffy\public_html\line3.gif

Prof. Muffy Calder, Department of Computing Science,University of Glasgow,
Glasgow, Scotland, G12 8QQ.
Telephone +44 141 330 4969, Fax +44 141 330 4913.