Muffy Calder OBE FRSE FREng FBCS

Professor of Formal Methods
Computing Science
University of Glasgow

Chief Scientific Adviser for Scotland
St. Andrew's House, Edinburgh

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.

Chief Scientific Adviser for Scotland (60% appointment) and Co-Chair of SSAC (Scottish Science Advisory Council).

Past Dean of Research in College of Science and Engineering (2010-2012), Senate Assessor (2009-2011), Chair of UKCRC (UK Computing Research Committee)(2008-2010), Chair of BCS Academy of Computing Research Committee (2011-2013), Head of Department (2003-2007).

Member of the Formal Analysis, Theory and Algorithms research group.
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).


Current/Recent Research Projects

Professor Muffy Calder
School of Computing Science
Sir Alwyn Williams Building
Lilybank Gardens
University of Glasgow
Glasgow G12 8RZ
Tel: +44 141 330 4969
Fax: +44 141 330 4913

CSA email: