Muffy Calder
Muffy Calder | |
|---|---|
Calder at the University of St Andrews in 2013 | |
| Born | Muffy Thomas 21 May 1958 |
| Alma mater | University of Stirling (BSc) University of St Andrews (PhD) |
| Known for | feature interaction problem Chief Scientific Advisor for Scotland |
| Spouse | David James Calder (1998-present) |
| Awards | FRSE (2000) FIEE (2002) FBCS (2002) OBE (2011) FREng (2013) DSc (2024) |
| 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 |
| Website | www |
Dame Muffy Calder (née Thomas; born 21 May 1958) is a Canadian-born British computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow. From 2012 to 2015 she was Chief Scientific Advisor to the Scottish Government.