Muffy Calder - Muffy Calder
|
Muffy Calder
| |
|---|---|
 Calder en la Universidad de St Andrews en 2013
| |
| Nació |
Muffy Thomas
21 de mayo de 1958 |
| alma mater |
Universidad de Stirling (BSc) Universidad de St Andrews (PhD) |
| Conocido por |
Característica problema de interacción Asesor científico jefe para Escocia |
| Esposos) | David Calder |
| Premios |
FRSE (2000) FIEE (2002) FBCS (2002) OBE (2011) FREng (2013) |
| Carrera científica | |
| Campos | métodos formales |
| Instituciones |
Universidad de Glasgow Universidad de Stirling Universidad de St Andrews Universidad de Edimburgo |
| Tesis | La implementación imperativa de tipos de datos algebraicos (1988) |
| Asesor de doctorado | Roy Dyckhoff |
| Sitio web | www |
Dame Muffy Calder DBE FREng FRSE FBCS FIEE (de soltera Thomas ; nacida el 21 de mayo de 1958) es una científica informática escocesa , subdirectora y directora de la Facultad de Ciencias e Ingeniería, y profesora de métodos formales en la Universidad de Glasgow . De 2012 a 2015 fue Asesora Científica Jefe del Gobierno de Escocia .
Biografía
Calder nació como Muffy Thomas el 21 de mayo de 1958 en Shawinigan , Quebec , Canadá , hijo de Lois van Thomas (de soltera Hallen) y Carmen van Thomas. Se graduó con una licenciatura en ciencias de la computación de la Universidad de Stirling y completó un doctorado en ciencias computacionales en la Universidad de St Andrews en 1987 bajo la supervisión de Roy Dyckhoff. Publicó ampliamente con el apellido Thomas antes de casarse con David Calder en 1998.
Ha trabajado en la Universidad de Glasgow desde 1988, y fue Decana de Investigación en la Facultad de Ciencias e Ingeniería hasta 2012. Se convirtió en Asesora Científica Principal del Gobierno de Escocia el 1 de marzo de 2012. Previamente, Calder se ha desempeñado como Presidenta de Informática del Reino Unido. Comité de Investigación y Presidente del Comité de Investigación de la Academia de Computación de la British Computer Society . Se convirtió en subdirectora y directora de la Facultad de Ciencias e Ingeniería en 2015. En 2015 fue nombrada miembro del Consejo de Investigación en Ingeniería y Ciencias Físicas .
Investigar
Calder resume sus intereses de investigación como "modelado matemático y razonamiento automatizado para sistemas de comunicación concurrentes". Calder publicó una visión general influyente sobre el problema de la interacción de funciones , con más de 300 citas en Google Scholar. Su investigación se ha extendido a la aplicación de métodos informáticos a redes bioquímicas y señalización celular en bioinformática , lo que ha dado lugar a varios artículos.
premios y reconocimientos
Calder fue nombrada Orden del Imperio Británico (OBE) en los Honores de Año Nuevo de 2011 por sus servicios a la informática y Dama Comandante de la Orden del Imperio Británico (DBE) en los Honores de Cumpleaños de 2020 por sus servicios a la investigación y la educación.
Tiene becas de la Royal Society of Edinburgh (2000), la British Computer Society (2002), la Institution of Electrical Engineers (2002) y la Royal Academy of Engineering (2013).
Calder fue catalogada como la 21ª mujer más influyente de Escocia en 2012 por The Herald .