Muffy Calder OBE FRSE FBCS FIEE

Professor of Formal Methods
Dean of Research, College of Science and Engineering
Computing Science
University of Glasgow

Royal Society Leverhulme Research Senior Fellow.

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. Senate Assessor and previous chair (2008-2010) of UKCRC (UK Computing Research Committee). Chair of BCS Academy of Computing Research Committee.

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.

Links

Current/Recent Research Projects

Professor Muffy Calder
School of Computing Science
Sir Alwyn Williams Building
Lilybank Gardens
University of Glasgow
Glasgow G12 8RZ

Email: Muffy.Calder@glasgow.ac.uk
Tel: +44 141 330 4969
Fax: +44 141 330 4913