Imperial College London

ProfessorPhilippaGardner

Faculty of EngineeringDepartment of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

Philippa Gardner is a professor in the Department of Computing at Imperial. Her current research focusses on program verification: in particular, reasoning about web programs (JavaScript and DOM) and reasoning about concurrent programs. She is the leader of the Verified Trustworthy Software Specification Group.
She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992. She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship from 2005 to 2010 at Imperial. Philippa directs the Research Institute on Verified Trustworthy Software Systems (VeTSS), funded by EPSRC, from 2017 to 2022. She also chairs the BCS awards committee, which decides the Lovelace medal (senior) and Roger Needham award (mid-career) for computer science and engineering.

Publications

Journals

Fragoso Santos J, Maksimovic P, Cunha Sampaio G, et al., 2019, JaVerT 2.0: Compositional Symbolic Execution for JavaScript, Proceedings of the Acm on Programming Languages, Vol:3, ISSN:2475-1421

Bodin M, Gardner P, Jensen T, et al., 2019, Skeletal semantics and their interpretations, Proceedings of the Acm on Programming Languages, Vol:3, ISSN:2475-1421

Conference

Faustino Fragoso Femenin Dos Santos J, Maksimovic P, Grohens T, et al., 2018, Symbolic execution for JavaScript, 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, ACM

Gardner P, 2018, JaVerT: JavaScript Verification and Testing Framework, 20th International Symposium on Principles and Practice of Declarative Programming (PPDP), ASSOC COMPUTING MACHINERY

Ntzik G, da Rocha Pinto P, Sutherland JHJ, et al., A concurrent specification of POSIX file systems, 32nd European Conference on Object-Oriented Programming (ECOOP 2018)

More Publications