ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Philippa Gardner

Not registered as user yet

Name: Philippa Gardner

Bio: 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 completed her PhD thesis, supervised by Professor Gordon Plotkin. She moved to Cambridge hosted by Professor Robin Milner FRS. She obtained a lectureship at Imperial in 2001, and became professor in 2009. She is the Director of the Research Institute in Automated Program Analysis and Verification, funded by GCHQ in association with EPSRC.

Country: United Kingdom

Affiliation: Imperial College London

Personal website: http://www.doc.ic.ac.uk/~pg/

Research interests: JavaScript, Semantics

Contributions

ESOP 2015Author of CoLoSL: Concurrent Local Subjective Logic within the ESOP-track
Committee Member in Steering Committee
Show activities from other conferences

ESOP 2015-profile
View general profile