Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial. Her current research focusses on program verification: in
particular, reasoning about web programs (JavaScript and DOM) and reasoning about concurrent programs.
