Philippa Anne Gardner FREng (nacida el 29 de julio de 1965) es una científica informática y académica británica . Ha sido profesora de Ciencias de la Computación Teórica en el Departamento de Computación , Imperial College London desde 2009. Fue directora del Instituto de Investigación en Análisis y Verificación de Programas Automatizados entre 2013 y 2016. [1] En 2020, Gardner fue elegida Fellow of the Royal Academia de Ingeniería . [2]
Temprana edad y educación
Gardner nació el 29 de julio de 1965 en Exeter , Devon , Inglaterra. [1] En 1988, obtuvo su M.Sc. Licenciado en lógica y computación de la Universidad de Bristol , supervisado por John Shepherdson. Sus estudios de doctorado fueron supervisados por Gordon Plotkin en la Universidad de Edimburgo ; [3] : 724 obtuvo su título de Doctor en Filosofía (PhD) en 1992. [4] Su tesis doctoral se tituló "Representación de la lógica en la teoría de tipos". [5] [6]
Carrera profesional
Después de recibir una beca avanzada EPSRC en la Universidad de Cambridge con Robin Milner , Gardner obtuvo una beca de investigación de BP con la Royal Society of Edinburgh entre 1994-1996. [7] Tomó una cátedra en el Imperial College de Londres en 2001. Fue nombrada Profesora de Informática Teórica en 2009. [1] [4]
Su investigación actual analiza la verificación del programa. [4] El papel de Gardner en el Instituto de Investigación en Análisis y Verificación de Programas Automatizados está financiado por GCHQ y el Consejo de Investigación de Ingeniería y Ciencias Físicas (EPSRC) . [4]
Gardner estuvo en el Comité de Becas Internacionales de Newton: Ciencias Físicas, para la Royal Society, de 2010 a 2012. [8]
Gardner recibió el premio President & Rector's Award for Excellence in Teaching en el Imperial College London en 2013. [9]
Referencias
- ^ a b c 'GARDNER, Prof. Philippa Anne', Quién es quién 2017 , A & C Black, una impresión de Bloomsbury Publishing plc, 2017; edn en línea, Oxford University Press, 2016; edn en línea, noviembre de 2016 consultado el 29 de julio de 2017
- ^ "Nuevos becarios 2020" . Real Academia de Ingeniería . 21 de septiembre de 2020 . Consultado el 22 de septiembre de 2020 .
- ^ Jean-Louis Lassez; Gordon Plotkin , eds. (1991). Lógica computacional - Ensayos en honor a Alan Robinson . Cambridge / MA: MIT Press. ISBN 0-262-12156-5.
- ^ a b c d "Philippa Gardner: biografía" . Imperial College de Londres . Consultado el 13 de octubre de 2015 .
- ^ "Philippa Gardner: Publicaciones" . Imperial College de Londres . Archivado desde el original el 19 de diciembre de 2015 . Consultado el 13 de octubre de 2015 .
- ^ Philippa Gardner en el Proyecto de genealogía matemática
- ^ "Premios de investigación" . Heraldo de Escocia . Consultado el 13 de octubre de 2015 .
- ^ "Philippa Gardner" . La Royal Society . Consultado el 13 de octubre de 2015 .
- ^ "Philippa Gardner: premios y becas" . Imperial College de Londres . Consultado el 13 de octubre de 2015 .