Local Hoare Reasoning about DOM
This talk is based on joint work with Gareth Smith, Mark Wheelhouse and Uri Zarfaty.
Bio: Dr Philippa Gardner is a Reader in the Department of Computing at Imperial, and a Microsoft Research Cambridge/Royal Academy of Engineering Senior Research Fellow. Her current research centres on local Hoare reasoning about structured data update, process calculi for analysing features of distributed systems, and languages for manipulating web data. She obtained her PhD on type theory and logical frameworks at Edinburgh, supervised by Professor Gordon Plotkin. She held a SERC Postdoctoral Fellow and a Royal Society of Edinburgh BP Fellow at Edinburgh, and an EPSRC Advanced Fellow at Cambridge and Imperial. She has been at Imperial since 2000.