Muffy Calder

DBE OBE FREng FRSE FBCS

Vice-Principal
Head of College of Science and Engineering
University of Glasgow

Research in computational modelling and automated reasoning for concurrent, communicating systems, especially sensor-based systems. Model-checking, process algebras, probabilistic systems, protocols and telecommunications services, biochemical networks and cell signalling, safety-critical systems.

Member of UKRI-EPSRC Council , REF 2021 Main Panel B, Prime Minister's Council for Science and Technology, DCMS Science Advisory Council and BCS School Curriculum and Assessment Committee.

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.

Principal Investigator of the S4 EPSRC Programme Grant S4: Science of Sensor System Software . Recent report from our annual research retreat .

Imagine the Pandemic Without Computer Science YouTube video

Computing is too important to be left to men Twitter video

Selected recent publications:

Stochastic model checking for predicting component failures and service availability IEEE Transactions on Dependable and Secure Computing, vol. 16:1, 2019. DOI

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems Computers, 7(4), 62, 2018. DOI

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

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

Blackett Review: Computational Modelling UK Government Office for Science.

Orcid number: 0000-0001-5033-7232

Links

Current/Recent Research Projects

Professor Muffy Calder
Room 310
Boyd Orr Building
University of Glasgow
Glasgow G12 8QQ
Email: Muffy.Calder@glasgow.ac.uk
Tel: +44 141 330 4462   
Fax: +44 141 330 4913

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