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.

Current member of UKRI-EPSRC Council, chair of DCMS Science Advisory Council, and member of REF Main Panel B. Past Chief Scientific Adviser for Scotland (Scottish Government) and co-chair of SSAC (Scottish Science Advisory Council) (2012-2015). Past member of EPSRC Council (2015-2018), member Nurse Review of Research Councils (2015), co-Chair of EU FET Science Advisory Group (2014-15), 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).

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

Royal Society Leverhulme Research Senior Fellow (2011-2012) and Royal Society Wolfson Merit Research Award (2011-2016). Suffrage Science award winner in Computing Science and Mathematics.

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

Recent publications:

Data-driven modelling and probabilistic analysis of interactive software usage Journal of Logical and Algebraic Methods in Programming, in press, 2018. DOI

Computational modelling for decision-making: where, why, what, who, and how. Royal Society Open Science 5:172096, 2018. DOI

Stochastic model checking for predicting component failures and service availability IEEE Transactions on Dependable and Secure Computing, 2018. DOI

Blackett Review: Computational Modelling UK Government Office for Science.

Postdoctoral vacancy for S4 programme grant.


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