Philippa Gardner's Home Page

Philippa Gardner

Current Position

Professor and Microsoft Research Cambridge/Royal Academy of Engineering Senior Research Fellow, Department of Computing , Imperial College.

Previous Positions

EPSRC Advanced Fellow at the Computer Laboratory, Cambridge (Jan 1999--Sept 2000) and the Department of Computing, Imperial College, London (Sept 2000--Dec 2001). Teaching Fellow at St. John's College, Cambridge. Royal Society BP Fellowship and SERC Postdoctoral Fellowship at LFCS, Edinburgh. PhD at Edinburgh (supervisor Gordon Plotkin).

Research

My current research spans several areas, linking ideas in process algebra, resource reasoning, databases and the Web. On-going projects include resource reasoning about data update (for example, the W3C DOM library for XML update, algorithms for manipulating concurent B-trees), the design, specification and analysis of a concurrent web update language, and the use of process algebrae for modelling cell behaviour. My publications can be found here.

Current Research Group

  • Cristiano Calcagno, EPSRC Advanced Fellow and lecturer at Imperial, former RA
  • Sergio Maffeis, EPSRC Postdoctoral Fellow, former RA and PhD student
  • James Brotherstone, EPSRC Postdoctoral Fellow, former RA of Cristaino Calcagno and myself
  • Ozan Kahramanogullari, RA with Luca Cardelli, funded by BBSCR/EPSRC
  • Gareth Smith, PhD student
  • Mohammad Raza, PhD student
  • Thomas Dinsdale-Young, Phd student
  • Mark Wheelhouse, PhD student
  • Adam Wright, PhD student

    Co-authors

  • Luca Cardelli, Microsoft Research Cambridge and visiting professor at Imperial
  • Anuj Dawar, Cambridge
  • Giorgio Ghelli , Pisa
  • Masahito Hasegawa, former PhD student, distinguished dissertation, now at RIMS, Kyoto
  • Cosimo Laneve, Bologne
  • Gordon Plotkin, Edinburgh
  • Lucian Wischik, former PhD student, now at Microsoft Redmond, in charge of the specification and architecture of the VB programming language
  • Uri Zarfaty, former RA and PhD student, now in industry

    Teaching

  • First-year course on Discrete Mathematics
  • Fourth-year course on Models of Concurrent Computation
  • I am keen to supervise individual projects.

    Professional Activities

  • Chair of DBPL 2009 with Floris Geerts, in association with VLDB.
  • Chair of Concur 2004, Royal Society, London.
  • Member of the programme committees for WS-FM 2009, OOPSLA 2009, CSF 2009, Plan_X 2009, EXPRESS 2007, Concur 2006, Space 2006, LICS 2005, DBPL 2005, APPSEM 2004, POPL 2004, Concur 2003, MFPS 2003, LPAR 2003 and Expres 2001.

    Contact

    Department of Computing, 180 Queen's Gate, South Kensington Campus, Imperial College London, SW7 2AZ.

    Phone: +44-20-7594-8292. Email: pgXdoc.ic.ac.uk (replace X by @)