词条 | Philippa Gardner |
释义 |
Early life and educationGardner was born on 29 July 1965 in Exeter, Devon, England.[1] In 1988, she got her M.Sc. degree in logic and computation from Bristol University, supervised by John Shepherdson. Her doctoral studies were supervised by Gordon Plotkin at the University of Edinburgh;[2]{{rp|724}} she was awarded her Doctor of Philosophy (PhD) degree in 1992.[3] Her doctoral thesis was titled "Representing Logics in Type Theory".[4][5] CareerAfter being awarded an EPSRC Advanced Fellowship at Cambridge University with Robin Milner, Gardner held a BP Research Fellowship with The Royal Society of Edinburgh between 1994-1996.[6] She took a lectureship with Imperial College London in 2001. She was appointed Professor of Theoretical Computer Science in 2009.[1][3] Her current research looks at program verification.[3] Gardner's role with the Research Institute in Automated Program Analysis and Verification is funded by GCHQ and the Engineering and Physical Sciences Research Council (EPSRC).[3] Gardner was on the Newton International Fellowships Committee: Physical Sciences, for The Royal Society, from 2010 to 2012.[7] Gardner was awarded the President & Rector's Award for Excellence in Teaching at Imperial College London in 2013.[8] References1. ^1 2 'GARDNER, Prof. Philippa Anne', Who's Who 2017, A & C Black, an imprint of Bloomsbury Publishing plc, 2017; online edn, Oxford University Press, 2016; online edn, Nov 2016 accessed 29 July 2017 {{authority control}}{{DEFAULTSORT:Gardner, Philippa}}2. ^{{cite book | editor1=Jean-Louis Lassez | editor2=Gordon Plotkin | editor2link=Gordon Plotkin | title=Computational Logic — Essays in Honor of Alan Robinson | publisher=MIT Press | location=Cambridge/MA | isbn=0-262-12156-5 | year=1991 }} 3. ^1 2 3 {{cite web|title=Philippa Gardner: Biography|url=https://www.doc.ic.ac.uk/~pg/#biography|website=Imperial College London|accessdate=13 October 2015}} 4. ^{{cite web|title=Philippa Gardner: Publications|url=https://www.doc.ic.ac.uk/~pg/publications.html|website=Imperial College London|accessdate=13 October 2015}} 5. ^{{mathGenealogy|128595}} 6. ^{{cite web|title=Research Awards|url=http://www.heraldscotland.com/news/12731562.Research_awards/|website=Herald Scotland|accessdate=13 October 2015}} 7. ^{{cite web|title=Philippa Gardner|url=https://royalsociety.org/people/philippa-gardner-9381/|website=The Royal Society|accessdate=13 October 2015}} 8. ^{{cite web|title=Philippa Gardner: Awards and Fellowships|url=https://www.doc.ic.ac.uk/~pg/#awards-and-fellowships|website=Imperial College London|accessdate=13 October 2015}} 8 : 1965 births|Living people|Alumni of the University of Edinburgh|British computer scientists|British women computer scientists|Theoretical computer scientists|People from Exeter|Department of Computing, Imperial College London |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。