Muffy Calder
Muffy Calder | |
---|---|
![]() Calder at the University of St Andrews in 2013 | |
Born |
Muffy Thomas 21 May 1958 Shawinigan, Quebec[1] |
Alma mater |
University of Stirling (BSc) University of St Andrews (PhD) |
Known for | Work with Scottish Government |
Spouse(s) | David Calder[1] |
Awards |
FRSE OBE FREng[2] |
Scientific career | |
Fields | Formal methods |
Institutions |
University of Glasgow University of Stirling University of St Andrews University of Edinburgh |
Thesis | The imperative implementation of algebraic data types (1988) |
Doctoral advisor | Roy Dyckhoff[3][4] |
Website |
www |
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
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
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
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
- 1 2 3 "CALDER, Prof. Muffy". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. (subscription required)
- 1 2 3 4 "List of Fellows".
- 1 2 Muffy Calder at the Mathematics Genealogy Project
- 1 2 Thomas, Muffy (1988). The imperative implementation of algebraic data types (PhD thesis). University of St Andrews.
- ↑ "Office of the Chief Scientific Advisor". Scottish Government. Retrieved 17 March 2013.
- ↑ Muffy Calder's publications indexed by the Scopus bibliographic database. (subscription required)
- ↑ Muffy Calder at DBLP Bibliography Server
- 1 2 3 "New Chief Scientific Adviser". Scottish Government.
- ↑ "Royal Academy of Engineering New Fellows 2013".
- ↑ "Professor Muffy Calder to lead the College of Science and Engineering" (Press release). University of Glasgow. 12 June 2014. Retrieved 16 January 2018.
- ↑ "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.
- ↑ "Glasgow Computing Staff Page: Muffy Calder". University of Glasgow. Retrieved 20 March 2013.
- ↑ 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.
- 1 2 Muffy Calder publications indexed by Google Scholar
- 1 2 "Professor Muffy Calder awarded OBE". BCS - The Chartered Institute for IT. Retrieved 17 March 2013.
- ↑ "Royal Academy of Engineering New Fellows 2013".
- ↑ "Professor Muffy Calder". BCS - The Chartered Institute for IT. Retrieved 17 March 2013.
- ↑ "Scotland's Top 50 Influential Women 2012". The Herald. Retrieved 17 March 2013.