Muffy Calder
Muffy Calder | |
---|---|
![]() Calder at the University of St Andrews in 2013
|
|
Born | Muffy Thomas 21 May 1958 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 OBE FREng[4] |
Spouse | David Calder[1] |
Website www |
Muffy Calder OBE FRSE FREng[5] (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[6] to the Scottish Government.[7][8][9][10][11][12]
Contents
Biography
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] She became Vice-Principal and Head of College of Science and Engineering in 2015. [15] In 2015 she was appointed to the Council of the EPSRC (Engineering and Physical Sciences Research Council). [16]
Research
Calder summarises her research interests as "mathematical modelling and automated reasoning for concurrent, communicating systems".[17] Calder published a very influential overview on the feature interaction problem,[18] 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]
Awards
Muffy was awarded an OBE in the New Year's Honours List, 2011.[19] Calder holds fellowships[20] in the Royal Academy of Engineering, [21][22] Royal Society of Edinburgh,[19] the BCS and the IET.[23] Calder was listed as 21st most influential woman in Scotland, 2012, by The Herald.[24]
References
- ↑ 1.0 1.1 1.2 Lua error in package.lua at line 80: module 'strict' not found.(subscription required)
- ↑ 2.0 2.1 Muffy Calder at the Mathematics Genealogy Project
- ↑ 3.0 3.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Muffy Calder's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
- ↑ Muffy Calder's publications indexed by the DBLP Bibliography Server at the University of Trier
- ↑ Muffy Calder from the Association for Computing Machinery (ACM) Digital Library
- ↑ 10.0 10.1 10.2 Muffy Calder's publications indexed by Google Scholar, a service provided by Google
- ↑ List of publications from Microsoft Academic Search
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 13.0 13.1 13.2 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 19.0 19.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- Pages containing links to subscription-only content
- Use dmy dates from June 2013
- Use British English from June 2013
- Living people
- Scottish computer scientists
- Fellows of the Royal Society of Edinburgh
- Civil servants in the Scottish Government
- Women computer scientists
- Alumni of the University of Stirling
- Alumni of the University of St Andrews
- Academics of the University of Glasgow
- Officers of the Order of the British Empire
- 1958 births
- Fellows of the Royal Academy of Engineering
- Female Fellows of the Royal Academy of Engineering
- Fellows of the British Computer Society
- Fellows of the Institution of Engineering and Technology