Филиппа Гарднер
Филиппа Энн Гарднер | |
|---|---|
| Рожденный | 29 июля 1965 г. |
| Национальность | Британский |
| Альма-матер |
|
| Научная карьера | |
| Поля | |
| Учреждения | Имперский колледж |
| Диссертация | Представление логики в теории типов (1992) |
| Докторантура | Гордон Плоткин |
| Веб-сайт | https://www.doc.ic.ac.uk/~pg/ |
Филиппа Энн Гарднер ФРЕнг (родилась 29 июля 1965 г.) - британский ученый-компьютерщик и академик. С 2009 года она является профессором теоретической информатики на вычислительной техники факультете Имперского колледжа Лондона. С 2013 по 2016 год она была директором Научно-исследовательского института автоматизированного анализа и верификации программ. [1] В 2020 году Гарднер был избран членом Королевской инженерной академии . [2]
Ранняя жизнь и образование
[ редактировать ]Гарднер родился 29 июля 1965 года в Эксетере , Девон , Англия. [1] В 1988 году она получила степень магистра логики и вычислений в Бристольском университете под руководством Джона Шепердсона. Ее докторскую диссертацию курировал Гордон Плоткин в Эдинбургском университете ; [3] : 724 ей была присвоена степень доктора философии . в 1992 году [4] Ее докторская диссертация называлась «Представление логики в теории типов». [5] [6]
Карьера
[ редактировать ]После получения стипендии EPSRC в Кембриджском университете вместе с Робином Милнером , Гарднер в период с 1994 по 1996 год проходил исследовательскую стипендию BP в Королевском обществе Эдинбурга . [7] В 2001 году она читала лекции в Имперском колледже Лондона. В 2009 году она была назначена профессором теоретической информатики. [1] [4] С 2018 по 2023 год она была удостоена стипендии UKRI. [8]
Гарднер был членом Международного комитета стипендий Ньютона по физическим наукам Королевского общества с 2010 по 2012 год. [9]
Роль Гарднера в Научно-исследовательском институте автоматизированного анализа и проверки программ финансировалась GCHQ и Исследовательским советом по инженерным и физическим наукам (EPSRC) . [4]
Гарднер был награжден премией президента и ректора за выдающиеся достижения в преподавании в Имперском колледже Лондона в 2013 году. [10] и за выдающиеся достижения в области научного надзора в 2019 году. [11]
Ее текущие исследования посвящены проверке программ. [4] Крупный проект, которым она занимается, — создание Gillian, платформы для разработки инструментов символьного анализа. [12]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с «ГАРДНЕР, профессор Филиппа Энн», Who's Who 2017 , A&C Black, отпечаток Bloomsbury Publishing plc, 2017; онлайн-издание, Oxford University Press, 2016; онлайн-издание, ноябрь 2016 г., по состоянию на 29 июля 2017 г.
- ^ «Новые участники 2020» . Королевская инженерная академия . 21 сентября 2020 г. Проверено 22 сентября 2020 г.
- ^ Жан-Луи Лассе; Гордон Плоткин , ред. (1991). Вычислительная логика — Очерки в честь Алана Робинсона . Кембридж/Массачусетс: MIT Press. ISBN 0-262-12156-5 .
- ^ Перейти обратно: а б с д «Филиппа Гарднер: Биография» . Имперский колледж Лондона . Проверено 26 марта 2024 г.
- ^ «Филиппа Гарднер: Публикации» . Имперский колледж Лондона . Архивировано из оригинала 19 декабря 2015 года . Проверено 13 октября 2015 г.
- ^ Филиппа Гарднер в проекте «Математическая генеалогия»
- ^ «Научно-исследовательская премия» . Вестник Шотландии . Проверено 13 октября 2015 г.
- ^ «Филиппа Гарднер — PLDI 2023» . ПЛДИ 2023 . Проверено 11 мая 2023 г.
- ^ «Филиппа Гарднер» . Королевское общество . Проверено 13 октября 2015 г.
- ^ «Филиппа Гарднер: награды и стипендии» . Имперский колледж Лондона . Проверено 13 октября 2015 г.
- ^ «Отличное образование отмечено Президентской премией 2019 года» . Имперский колледж . 2019.
- ^ «Джиллиан» . Проверено 11 мая 2023 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1965 года рождения
- Живые люди
- Выпускники Эдинбургского университета
- Британские ученые-компьютерщики
- Британские женщины-компьютерщики
- Теоретики-компьютерщики
- Ученые из Эксетера
- Преподаватели факультета вычислительной техники Имперского колледжа Лондона
- Члены Королевской инженерной академии
- Женщины-стипендиаты Королевской инженерной академии