Muffy Calder

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Muffy Calder
Muffy Calder.jpg
Calder at the University of St Andrews in 2013
BornMuffy Thomas
(1958-05-21) 21 May 1958 (age 60)
Shawinigan, Quebec[1]
Alma materUniversity of Stirling (BSc)
University of St Andrews (PhD)
Known forWork with Scottish Government
Spouse(s)David Calder[1]
AwardsFRSE
OBE
FREng[2]
Scientific career
FieldsFormal methods
InstitutionsUniversity of Glasgow
University of Stirling
University of St Andrews
University of Edinburgh
ThesisThe imperative implementation of algebraic data types (1988)
Doctoral advisorRoy Dyckhoff[3][4]
Websitewww.dcs.gla.ac.uk/~muffy

Muffy Calder OBE FRSE FREng[2] (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[5] to the Scottish Government.[6][7]

Biography[edit]

As Muffy Thomas, she obtained a Bachelor of Science degree in Computer Science from the University of Stirling,[8] and completed a PhD in Computational Science at the University of St Andrews in 1988 under the supervision of Roy Dyckhoff.[3][4] 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.[9] She became Chief Scientific Adviser to the Scottish Government on 1 March 2012.[8] Previously Calder has served as Chair of the UK Computing Research Committee and Chair of the BCS Academy of Computing Research Committee.[8] She became Vice-Principal and Head of College of Science and Engineering in 2015.[10] In 2015 she was appointed to the Council of the EPSRC (Engineering and Physical Sciences Research Council).[11]

Research[edit]

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

Awards[edit]

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

References[edit]

  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 c d "List of Fellows".
  3. ^ a b Muffy Calder at the Mathematics Genealogy Project
  4. ^ a b Thomas, Muffy (1988). The imperative implementation of algebraic data types (PhD thesis). University of St Andrews.
  5. ^ "Office of the Chief Scientific Advisor". Scottish Government. Retrieved 17 March 2013.
  6. ^ Muffy Calder's publications indexed by the Scopus bibliographic database. (subscription required)
  7. ^ Muffy Calder at DBLP Bibliography Server Edit this at Wikidata
  8. ^ a b c "New Chief Scientific Adviser". Scottish Government.
  9. ^ "Royal Academy of Engineering New Fellows 2013".
  10. ^ "Professor Muffy Calder to lead the College of Science and Engineering" (Press release). University of Glasgow. 12 June 2014. Retrieved 16 January 2018.
  11. ^ "Johnson announces new council members and re-appointment". EPSRC news (Press release). Engineering and Physical Sciences Research Council. 9 June 2015. Retrieved 16 January 2018.
  12. ^ "Glasgow Computing Staff Page: Muffy Calder". University of Glasgow. Retrieved 20 March 2013.
  13. ^ Calder, M.; Kolberg, M.; Magill, E. H.; Reiff-Marganiec, S. (2003). "Feature interaction: A critical review and considered forecast" (PDF). Computer Networks. 41: 115. doi:10.1016/S1389-1286(02)00352-3.
  14. ^ a b Muffy Calder publications indexed by Google Scholar Edit this at Wikidata
  15. ^ a b "Professor Muffy Calder awarded OBE". BCS - The Chartered Institute for IT. Retrieved 17 March 2013.
  16. ^ "Royal Academy of Engineering New Fellows 2013".
  17. ^ "Professor Muffy Calder". BCS - The Chartered Institute for IT. Retrieved 17 March 2013.
  18. ^ "Scotland's Top 50 Influential Women 2012". The Herald. Retrieved 17 March 2013.