Philippa Gardner
About
Philippa Anne Gardner is a British computer scientist and academic. She has been Professor of Theoretical Computer Science at the Department of Computing, Imperial College London since 2009. She was director of the Research Institute in Automated Program Analysis and Verification between 2013 and 2016. In 2020 Gardner was elected Fellow of the Royal Academy of Engineering.