Muffy Calder, BSc PhD FRSE FBCS FIEE

Research interests in mathematical modelling and automated reasoning for concurrent, communicating systems: model-checking; process algebras; probabilistic systems; protocols and telecommunications services; biochemical networks and cell signalling; safety-critical systems. Senate Assessor and Chair of UKCRC (UK Computing Research Committee).

Member of the Formal Analysis, Theory and Algorithms research group. External examiner at University of Manchester. Previous Head of Department (2003-2007) and previous external examiner at Universities of Warwick, St. Andrews, Edinburgh, and NUI Cork.

Links

• Publications
• Research Projects
• Research Students
• Teaching
• Biography
• Press
• Useful Links
• Photos and Fun

Current projects

VPS: Verifying Interoperability Requirements in Pervasive Systems. EPSRC-funded (2008-2012).
Homework: Shaping Future User Domestic Infrastructure. EPSRC-funded (2008-2012).
SIGNAL: Stochastic process algebra for biochemical signalling pathways. EPSRC-funded (2007-2011).
Stochastic Process Algebra for Oxidative Stress. Lord Kelvin/ Adam Smith research studentship (2008-2011)
• Molecular Nose . EPSRC-funded (2008-2012).

Recent Projects

• BPS: A Software Tool for the Simulation and Analysis of Biochemical Networks DTI-Funded.
• Computer Science Inside EPSRC-funded.
• Veriscope: Verification of Similar Concurrent Processes EPSRC-funded.

Professor Muffy Calder
School of Computing Science
Sir Alwyn Williams Building
Lilybank Gardens
University of Glasgow
Glasgow G12 8RZ

Email: Muffy.Calder@glasgow.ac.uk
Tel:    +44 141 330 4961
Fax:    +44 141 330 1651