Philippa Gardner

Philippa Gardner is a Professor of Theoretical Computer Science at Imperial College London, affiliated with the Department of Computer Science. Her research focuses on programming languages, program analysis and verification, concurrency, and resource reasoning. She can be contacted via email at p.gardner@imperial.ac.uk, and her profile page is available at https://profiles.imperial.ac.uk/p.gardner.

Philippa Gardner is a Professor of Theoretical Computer Science at Imperial College London, specializing in program verification, language specification, and concurrency. Her research focuses on formal methods for ensuring correctness in concurrent systems, particularly in the context of JavaScript and the DOM. She has developed logical frameworks for reasoning about program behavior, including temporal and data abstraction logics. Her work includes the design of verification tools for JavaScript, such as JaVerT, and contributions to symbolic execution and compositional reasoning. Gardner's research bridges theoretical foundations with practical applications in software engineering and formal verification.