Professor Philippa Gardner FREng

Professor of Theoretical Computer Science, Imperial College London

Professor Philippa Gardner is an international leader in research on scalable reasoning about modern software systems. Her work has had a profound impact on the field, providing sound mathematical foundations and rigorous engineering techniques, tools and methodologies which have been applied to real-world software.

She leads the field in bringing specification and verification to JavaScript, through the mechanised language specification JSCert and the verification tool JaVerT. She has also achieved major breakthroughs in modular reasoning about concurrent programs, identifying fictional separation, a powerful abstraction property for memory models that has been used to verify some of the world's most advanced concurrent programs.