Muffy Calder, BSc PhD FRSE FBCS FIEE

Professor of Formal Methods, School of Computing Science
Dean of Research, 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. Senate Assessor and Chair of UKCRC (UK 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 projects

Recent 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 4961
Fax:    +44 141 330 1651