Philippa Gardner

Philippa Anne Gardner is a British computer scientist and Professor of Theoretical Computer Science at Imperial College London's Department of Computing since 2009. She completed an MSc in logic and computation at Bristol University in 1988 supervised by John Shepherdson and a PhD at Edinburgh in 1992 supervised by Gordon Plotkin, later holding an EPSRC Advanced Fellowship at Cambridge hosted by Robin Milner before joining Imperial as a lecturer in 2001. Her research focuses on program specification and verification, and her group's work on logical abstraction and logical atomicity extended concurrent separation logic, work she has applied to specifying and verifying JavaScript and DOM web programs through the JSCert language specification and the JaVerT verification tool; she was elected a Fellow of the Royal Academy of Engineering in 2020.