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 del Imperial College de Londres desde 2009. Fue directora del Instituto de Investigación en Análisis y Verificación Automatizada de Programas entre 2013 y 2016. [1] En 2020, Gardner fue elegida miembro de la Real Academia de Ingeniería . [2]
Gardner nació el 29 de julio de 1965 en Exeter , Devon , Inglaterra. [1] En 1988 completó una maestría en lógica y computación en la Universidad de Bristol , supervisada por John Shepherdson. Sus estudios de doctorado fueron supervisados por Gordon Plotkin en la Universidad de Edimburgo ; [3] : 724 obtuvo su doctorado en 1992. [4] Su tesis doctoral se tituló "Representación de lógicas en la teoría de tipos". [5] [6]
Después de recibir una beca avanzada EPSRC en la Universidad de Cambridge con Robin Milner , Gardner obtuvo una beca de investigación BP con la Royal Society de Edimburgo entre 1994 y 1996. [7] Obtuvo una cátedra en el Imperial College de Londres en 2001. Fue nombrada profesora de Ciencias de la Computación Teórica en 2009. [1] [4] De 2018 a 2023 recibió una beca establecida por UKRI. [8]
Gardner formó parte del Comité de Becas Internacionales Newton: Ciencias Físicas, para la Royal Society, de 2010 a 2012. [9]
El papel de Gardner en el Instituto de Investigación en Análisis y Verificación Automatizada de Programas fue financiado por GCHQ y el Consejo de Investigación en Ingeniería y Ciencias Físicas (EPSRC) . [4]
Gardner recibió el Premio del Presidente y Rector a la Excelencia en la Enseñanza en el Imperial College de Londres en 2013 [10] y a la Excelencia en la Supervisión de la Investigación en 2019. [11]
Su investigación actual se centra en la verificación de programas. [4] Un proyecto importante que lleva adelante es la creación de Gillian, una plataforma para desarrollar herramientas de análisis simbólico. [12]