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
Showing 1 - 8 results of 8 for search 'Gardner, Philippa', query time: 0.08s Refine Results
  1. 1
    Representing logics in type theory
    by Gardner, Philippa
    Published 1992
    Get full text
  2. 2
    Structural separation logic
    by Wright, Adam
    Published 2013
    Other Authors: “...Gardner, Philippa...”
    Get full text
  3. 3
    Reasoning with time and data abstractions
    by da Rocha Pinto, Pedro
    Published 2016
    Other Authors: “...Gardner, Philippa...”
    Get full text
  4. 4
    Reasoning about POSIX file systems
    by Ntzik, Gian
    Published 2016
    Other Authors: “...Gardner, Philippa...”
    Get full text
  5. 5
    An infrastructure for tractable verification of JavaScript programs
    by Naudziuniene, Daiva
    Published 2017
    Other Authors: “...Gardner, Philippa...”
    Get full text
  6. 6
    Local reasoning about Web programs
    by Smith, Gareth David
    Published 2011
    Other Authors: “...Gardner, Philippa ; Drossopoulou, Sophia...”
    Get full text
  7. 7
    Segment logic
    by Wheelhouse, Mark James
    Published 2012
    Other Authors: “...Gardner, Philippa ; Calcagno, Christiano...”
    Get full text
  8. 8
    Abstraction, refinement and concurrent reasoning
    by Raad, Azalea
    Published 2016
    Other Authors: “...Gardner, Philippa ; Drossopoulou, Sophia...”
    Get full text
Search Tools: Get RSS Feed — Email this Search