Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial
Philippa Gardner is a professor in the [Department of Computing](https://www.doc.ic.ac.uk/) at [Imperial College London](https://www.imperial.ac.uk/)
and leader of the Verified Trustworthy Software Specification Group.
and has a UK Research and Innovation [Established Fellowship](https://gtr.ukri.org/projects?ref=EP%2FR034567%2F1) from 2018–2023.
Her current research focusses on program verification: in particular, reasoning about Web programs
Her research focusses on program specification and verification. In particular,
(JavaScript and DOM) and reasoning about concurrent programs.
her group is credited with bringing logical abstraction and logical atomicity to
modern concurrent separation logics, and is currently developing the Gillian
platform for building symbolic analysis tools for real-world programming languages
such as C and JavaScript, which unifies classical symbolic execution, semi-automatic
verification based on separation logic, and automatic compositional testing based
on bi-abduction.
She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992. She moved to Cambridge in 1998
Gardner completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at
on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS.
Edinburgh in 1992 and held five years of fellowships at Edinburgh. She moved to
She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of
Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS.
Engineering Senior Fellowship from 2005 to 2010 at Imperial. She was the Director
She obtained a lectureship at Imperial in 2001, and became professor in 2009.
of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),
She held a Microsoft Research Cambridge/Royal Academy of Engineering Senior
funded by GCHQ in association with EPSRC from 2013 to 2017.
Fellowship at Imperial, 2005--2009.
Philippa directs the [Research Institute on Verified Trustworthy Software Systems (VeTSS)](https://vetss.org.uk/),
Philippa directs the [Research Institute on Verified Trustworthy Software Systems (VeTSS)](https://vetss.org.uk/),
funded by EPSRC, from 2017 to 2022. She also chairs the BCS awards committee,
funded by EPSRC and NCSC, 2017--2022. She is an organiser
which decides the [Lovelace medal](http://www.bcs.org/category/5932)(senior) and [Roger Needham award](http://www.bcs.org/category/5941)(mid-career) for computer science and engineering.
of the [Isaac Newton Institute six-week summer programme on `Verified Software', 2020[(http://www.newton.ac.uk/event/vso).
