Philippa Gardner - Philippa Gardner

Philippa Anne Gardnerová FREng (narozený 29 července 1965) je Brit počítačový vědec a akademické. Ona byla Profesor z Teoretická informatika na Katedra výpočetní techniky, Imperial College London od roku 2009. V letech 2013 až 2016 byla ředitelkou Výzkumného ústavu pro automatizovanou analýzu a ověřování programů.[1] V roce 2020 byl Gardner zvolen za člena Royal Academy of Engineering.[2]

raný život a vzdělávání

Gardner se narodil 29. července 1965 v Exeter, Devon, Anglie.[1] V roce 1988 ji získala M.Sc. stupeň v logice a výpočtu z Bristolská univerzita, pod dohledem Johna Shepherdsona. Na její doktorské studium dohlížel Gordon Plotkin na University of Edinburgh;[3]:724 byla jí udělena doktor filozofie (PhD) v roce 1992.[4] Její disertační práce byl nazván „Reprezentace logiky v teorii typů“.[5][6]

Kariéra

Poté, co získal EPSRC Advanced Fellowship na Cambridge University s Robin Milner, Gardner držel BP Research Fellowship with Královská společnost v Edinburghu mezi 1994-1996.[7] Vzala si lektorskou školu s Imperial College London v roce 2001. Byla jmenována Profesor teoretické informatiky v roce 2009.[1][4]

Její současný výzkum se zaměřuje na ověření programu.[4] Role Gardnera ve Výzkumném ústavu pro automatizovanou analýzu a ověřování programů je financována z prostředků GCHQ a Rada pro výzkum inženýrských a fyzikálních věd (EPSRC).[4]

Gardner byl od roku 2010 do roku 2012 členem The New Society International Fellowships Committee: Physical Sciences pro The Royal Society.[8]

Gardner získal Cenu prezidenta a rektora za vynikající výsledky ve výuce na Imperial College London v roce 2013.[9]

Reference

  1. ^ A b C „ZÁHRADNÍK, prof. Philippa Anne“, Kdo je kdo 2017 „A & C Black, otisk Bloomsbury Publishing plc, 2017; online vydání, Oxford University Press, 2016; online vydání, listopad 2016 zpřístupněno 29. července 2017
  2. ^ „New Fellows 2020“. Royal Academy of Engineering. 21. září 2020. Citováno 22. září 2020.
  3. ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Výpočetní logika - Pokusy o čest Alan Robinson. Cambridge / MA: MIT Press. ISBN  0-262-12156-5.
  4. ^ A b C d "Philippa Gardner: Životopis". Imperial College London. Citováno 13. října 2015.
  5. ^ "Philippa Gardner: Publikace". Imperial College London. Archivovány od originál dne 19. prosince 2015. Citováno 13. října 2015.
  6. ^ Philippa Gardner na Matematický genealogický projekt
  7. ^ „Ceny za výzkum“. Herald Scotland. Citováno 13. října 2015.
  8. ^ „Philippa Gardner“. Královská společnost. Citováno 13. října 2015.
  9. ^ „Philippa Gardner: Ocenění a stipendia“. Imperial College London. Citováno 13. října 2015.