Philippa Gardner

Philippa Anne Gardner (born 29 July 1965) 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 a Fellow of the Royal Academy of Engineering. Provided by Wikipedia
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Other Authors: “...Gardner, Philippa...”
Cover Image
Read Now

4
Published 2009
Springer Berlin Heidelberg
Other Authors: “...Gardner, Philippa...”