Muffy Calder

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Muffy Calder
Muffy Calder.jpg
Calder at the University of St Andrews in 2013
Born Muffy Thomas
(1958-05-21) 21 May 1958 (age 56)
Shawinigan, Quebec[1]
Fields Formal methods
Institutions University of Glasgow
University of Stirling
University of St Andrews
University of Edinburgh
Alma mater University of Stirling (BSc)
University of St Andrews (PhD)
Thesis The imperative implementation of algebraic data types (1988)
Doctoral advisor Roy Dyckhoff[2][3]
Known for Work with Scottish Government
Notable awards FRSE
Spouse David Calder[1]

Muffy Calder OBE FRSE FREng[5] (née Thomas) is a Scottish computer scientist, Professor of Formal Methods in the School of Computing Science at the University of Glasgow, and Chief Scientific Advisor[6] to the Scottish Government.[7][8][9][10][11][12]


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

She has worked at the University of Glasgow since 1988, and was Dean of Research in the College of Science and Engineering until 2012.[14] She became Chief Scientific Adviser to the Scottish Government on 1 March 2012.[13] Previously Calder has served as Chair of the UK Computing Research Committee and Chair of the BCS Academy of Computing Research Committee.[13]


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


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


  1. ^ a b c "CALDER, Prof. Muffy". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. (subscription required)
  2. ^ a b Muffy Calder at the Mathematics Genealogy Project
  3. ^ a b Thomas, Muffy (1988). The imperative implementation of algebraic data types (PhD thesis). University of St Andrews. 
  4. ^ "List of Fellows". 
  5. ^ "List of Fellows". 
  6. ^ "Office of the Chief Scientific Advisor". Scottish Government. Retrieved 17 March 2013. 
  7. ^ Muffy Calder from the Scopus bibliographic database.
  8. ^ List of publications from the DBLP Bibliography Server
  9. ^ Muffy Calder from the ACM Portal
  10. ^ a b c List of publications from Google Scholar
  11. ^ List of publications from Microsoft Academic Search
  12. ^ Calder, M.; Vyshemirsky, V.; Gilbert, D.; Orton, R. (2006). "Analysis of Signalling Pathways Using Continuous Time Markov Chains". Transactions on Computational Systems Biology VI. Lecture Notes in Computer Science 4220. p. 44. doi:10.1007/11880646_3. ISBN 978-3-540-45779-4.  edit
  13. ^ a b c "New Chief Scientific Adviser". Scottish Government. 
  14. ^ "Royal Academy of Engineering New Fellows 2013". 
  15. ^ "Glasgow Computing Staff Page: Muffy Calder". University of Glasgow. Retrieved 20 March 2013. 
  16. ^ Calder, M.; Kolberg, M.; Magill, E. H.; Reiff-Marganiec, S. (2003). "Feature interaction: A critical review and considered forecast". Computer Networks 41: 115. doi:10.1016/S1389-1286(02)00352-3.  edit
  17. ^ a b "Professor Muffy Calder awarded OBE". BCS - The Chartered Institute for IT. Retrieved 17 March 2013. 
  18. ^ "List of Fellows". 
  19. ^ "Royal Academy of Engineering New Fellows 2013". 
  20. ^ "List of Fellows". 
  21. ^ "Professor Muffy Calder". BCS - The Chartered Institute for IT. Retrieved 17 March 2013. 
  22. ^ "Scotland's Top 50 Influential Women 2012". The Herald. Retrieved 17 March 2013.