Muffy Calder BSc PhD FRSE FBCS FIEE

Professor of Formal Methods
Department of Computing Science
University of Glasgow

Professor of Computing Science at the University of Glasgow. Associate Dean (Research) and Senate Assessor. Chair of UKCRC (UK Computing Research Committee).

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.

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.

**PhD STUDENTSHIP AVAILABLE NOW ** details here.

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 Centred Domestic Infrastructure . EPSRC-funded (2008-2012).
• SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis . EPSRC-funded (2007-2010).
• Stochastic process algebra modelling of ROS regulation in oxidative stress . Lord Kelvin/ Adam Smith research studentship (2007-2011).
• The Molecular Nose. EPSRC-funded (2007-2011).

Recent Projects

• A Software Tool for the Simulation and Analysis of Biochemical Networks . DTI-funded (2003-2007).
• Computer Science Inside. EPSRC-funded (2005-2008).
• VeriScope (Verification of Similar Concurrent Processes) . EPSRC-funded (2001-2004)

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

Email: muffy@dcs.gla.ac.uk
Tel: +44 141 330 4969
Fax: +44 141 330 4913