stringtranslate.com

Calder Muffy

Dame Muffy Calder DBE FREng FRSE FBCS FIEE (de soltera Thomas ; nacida el 21 de mayo de 1958) es una científica informática británica nacida en Canadá , 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 principal [5] del gobierno escocés . [6] [7] [8] [9] [10] [11]

Biografía

Calder nació como Muffy Thomas el 21 de mayo de 1958 en Shawinigan , Quebec , Canadá , hijo de Carmen y Lois (Hallen) van Thomas. Se graduó con una licenciatura en ciencias de la computación de la Universidad de Stirling , [12] y completó un doctorado en ciencias computacionales en la Universidad de St Andrews en 1987 bajo la supervisión de Roy Dyckhoff. [2] [3] Publicó ampliamente bajo el apellido Thomas antes de casarse con David Calder en 1998. [4]

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. [13] Se convirtió en Asesora Científica Principal del Gobierno escocés el 1 de marzo de 2012. [12] Anteriormente, Calder se desempeñó como como presidente del Comité de Investigación en Computación del Reino Unido y presidente del Comité de Investigación en Computación de la Academia de Computación de la Sociedad Británica de Computación. [12] Se convirtió en subdirectora y directora de la Facultad de Ciencias e Ingeniería en 2015. [14] En 2015 fue nombrada miembro del Consejo del Consejo de Investigación en Ingeniería y Ciencias Físicas . [15]

Investigación

Calder resume sus intereses de investigación como "modelado matemático y razonamiento automatizado para sistemas de comunicación concurrentes". [16] Calder publicó una influyente descripción general sobre el problema de interacción de características , [17] con más de 300 citas en Google Scholar. [9] 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. [9]

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 [18] y Dama Comendadora 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. [19]

Tiene becas [1] de la Royal Society of Edinburgh (2000), [18] la British Computer Society (2002), la Institution of Electrical Engineers (2002) y la Royal Academy of Engineering (2013). [4] [1] [20]

Calder fue catalogada como la 21ª mujer más influyente de Escocia en 2012 por The Herald . [21]

Referencias

  1. ^ abc "Lista de becarios".
  2. ^ ab Muffy Calder en el Proyecto de Genealogía de Matemáticas
  3. ^ ab Thomas, Muffy (1988). La implementación imperativa de tipos de datos algebraicos (tesis doctoral). Universidad de St Andrews.
  4. ^ abcd "CALDER, Prof. Muffy". Quién es quién 2019, A & C Black, un sello editorial de Bloomsbury Publishing PLC, 2019; Ed. en línea, Oxford University Press . doi :10.1093/ww/9780199540884.013.U256072.(Es posible que se requiera suscripción o que el contenido esté disponible en las bibliotecas)
  5. ^ "Oficina del Asesor Científico Jefe". Gobierno escocés . Consultado el 17 de marzo de 2013 .
  6. ^ Publicaciones de Muffy Calder indexadas por la base de datos bibliográfica Scopus . (requiere suscripción)
  7. ^ Muffy Calder en el servidor de bibliografía DBLP
  8. ^ Página de perfil del autor de Muffy Calder en la Biblioteca digital ACM
  9. ^ Publicaciones de abc Muffy Calder indexadas por Google Scholar
  10. ^ Publicaciones de Muffy Calder indexadas por Microsoft Academic
  11. ^ Calder, M.; Vyshemirsky, V.; Gilbert, D.; Orton, R. (2006). "Análisis de vías de señalización mediante cadenas de Markov de tiempo continuo" (PDF) . Transacciones sobre Biología de Sistemas Computacionales VI . Apuntes de conferencias sobre informática. vol. 4220. pág. 44.doi : 10.1007 /11880646_3. ISBN 978-3-540-45779-4.
  12. ^ abc "Nuevo asesor científico jefe". Gobierno escocés. 14 de febrero de 2012.
  13. ^ "Nuevos becarios de la Real Academia de Ingeniería 2013". Archivado desde el original el 22 de marzo de 2014 . Consultado el 17 de marzo de 2014 .
  14. ^ "El profesor Muffy Calder dirigirá la Facultad de Ciencias e Ingeniería" (Presione soltar). Universidad de Glasgow. 12 de junio de 2014 . Consultado el 16 de enero de 2018 .
  15. ^ "Johnson anuncia nuevos miembros del consejo y su reelección". Noticias EPSRC (Presione soltar). Consejo de Investigaciones en Ingeniería y Ciencias Físicas. 9 de junio de 2015 . Consultado el 16 de enero de 2018 .
  16. ^ "Página del personal de informática de Glasgow: Muffy Calder". Universidad de Glasgow . Consultado el 20 de marzo de 2013 .
  17. ^ Calder, M.; Kolberg, M.; Magill, EH; Reiff-Marganiec, S. (2003). "Interacción de funciones: una revisión crítica y un pronóstico considerado" (PDF) . Red de computadoras . 41 : 115-141. CiteSeerX 10.1.1.65.9572 . doi :10.1016/S1389-1286(02)00352-3. S2CID  7049303. 
  18. ^ ab "El profesor Muffy Calder recibió OBE". BCS: Instituto Colegiado de TI. Archivado desde el original el 8 de octubre de 2017 . Consultado el 17 de marzo de 2013 .
  19. ^ "Nº 63135". The London Gazette (suplemento). 10 de octubre de 2020. p. B8.
  20. ^ "Nuevos becarios de la Real Academia de Ingeniería 2013". Archivado desde el original el 20 de julio de 2014 . Consultado el 17 de marzo de 2014 .
  21. ^ "Las 50 mujeres más influyentes de Escocia 2012". El Heraldo . Consultado el 17 de marzo de 2013 .