Muffy Calder OBE FREng FRSE FBCS

Head of College of Science and Engineering
University of Glasgow

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.

Past Chief Scientific Adviser for Scotland (Scottish Government) and Co-Chair of SSAC (Scottish Science Advisory Council) (2012-2015), Dean of Research in College of Science and Engineering (2010-2012), Senate Assessor (2009-2011), Chair of UKCRC (UK Computing Research Committee) (2008-2010), Head of Computing Science (2003-2007). Appointed to EPSRC Council and Nurse Review of Research Councils (2015).

Past external examiner at University of Manchester, Warwick, St. Andrews, Edinburgh, and NUI Cork.

Member of the Formal Analysis, Theory and Algorithms research group.

Royal Society Leverhulme Research Senior Fellow (2011-2012) and Royal Society Wolfson Merit Research Award (2011-2016).

Recent publications:

On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces ACM Transactions on Computer-Human Interaction (TOCHI), Volume 23, Issue 2, May 2016.

Temporal Analytics for Software Usage Models DataMod 2017, LNCS in press, 2017.

Stochastic model checking for predicting component failures and service availability IEEE Transactions on Dependable and Secure Computing,in press, 2017.


Current/Recent Research Projects

Professor Muffy Calder
Room 310
Boyd Orr Building
University of Glasgow
Glasgow G12 8QQ
Tel: +44 141 330 4462   
Fax: +44 141 330 4913

Computing Science office:
Room 403 Sir Alwyn Williams Building
Tel: +44 141 330 4969