Dame Muffy Calder (née Thomas; born 21 May 1958) is a Canadian-born British computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow.

[15] Calder summarises her research interests as "mathematical modelling and automated reasoning for concurrent, communicating systems".

[16] Calder published an influential overview on the feature interaction problem,[17] with more than 300 citations at Google Scholar.

[9] Her research has extended to applying computer science methods to biochemical networks and cell signalling in bioinformatics, resulting in a number of papers.

[4][1][20] In June 2024 Calder was awarded a DSc honoris causa by the University of St Andrews[21] in recognition of her contributions to computer science and her services to the wider scientific community.