Tripti Joshi (Editor)

Muffy Calder

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Fields  Formal methods
Doctoral advisor  Roy Dyckhoff

Spouse  David Calder
Name  Muffy Calder
Muffy Calder wwwglaacukmediamedia209695enjpg

Born  Muffy Thomas 21 May 1958 (age 57) Shawinigan, Quebec (1958-05-21)
Institutions  University of Glasgow University of Stirling University of St Andrews University of Edinburgh
Thesis  The imperative implementation of algebraic data types (1988)
Known for  Work with Scottish Government
Alma mater  University of Stirling, University of St Andrews
Institution  University of Glasgow, University of Stirling, University of St Andrews, University of Edinburgh
Notable awards  Royal Society of Edinburgh, Order of the British Empire, Royal Academy of Engineering

Muffy calder the importance of computational thinking in the digital age

Muffy Calder OBE FRSE FREng (née Thomas) is a Scottish computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow. From 2012-2015 she was Chief Scientific Advisor to the Scottish Government.


Muffy calder


As Muffy Thomas, she obtained a Bachelor of Science degree in Computer Science from the University of Stirling, and completed a PhD in Computational Science at the University of St Andrews in 1988 under the supervision of Roy Dyckhoff. She published widely under the name Thomas prior to her marriage to Dave Calder in 1998.

She has worked at the University of Glasgow since 1988, and was Dean of Research in the College of Science and Engineering until 2012. She became Chief Scientific Adviser to the Scottish Government on 1 March 2012. Previously Calder has served as Chair of the UK Computing Research Committee and Chair of the BCS Academy of Computing Research Committee. She became Vice-Principal and Head of College of Science and Engineering in 2015. In 2015 she was appointed to the Council of the EPSRC (Engineering and Physical Sciences Research Council).


Calder summarises her research interests as "mathematical modelling and automated reasoning for concurrent, communicating systems". Calder published a very influential overview on the feature interaction problem, with more than 300 citations at Google Scholar. Her research has extended to applying computer science methods to biochemical networks and cell signalling in bioinformatics, resulting in a number of papers.


Muffy was appointed an OBE in the New Year's Honours List, 2011. Calder holds fellowships in the Royal Academy of Engineering, Royal Society of Edinburgh, the BCS and the IET. Calder was listed as 21st most influential woman in Scotland, 2012, by The Herald.


Muffy Calder Wikipedia