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, communi
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).
- Homework: Shaping Future User Centred Domestic Infrastructure . EPSRC-funded (2008-2012).
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 |