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 resource reasoning, concurrency, databases and the Web. On-going projects include: reasoning about web programs (e.g. JavaScript and DOM), reasoning about shared-memory concurrency (e.g. concurrent 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

  • Gareth Smith, postdoc and former PhD student.
  • Thomas Dinsdale-Young, postdoc and former Phd student.
  • Mark Wheelhouse, PhD student.
  • Adam Wright, PhD student.
  • Pedro da Racha Pinto , PhD student.
  • Gian Ntzik, PhD student.
  • Azalea Raad, PhD student.
  • Daiva Naudziuniene, PhD student.

    Co-authors

  • Mohammad Raza, postdoc at Microsoft Research Cambridge, former PhD student
  • James Brotherstone, EPSRCCareer Accelleration Fellow at QM, former EPSRC Dostdoctoral Fellow at Imperial, former RA of Cristaino Calcagno and myself at Imperial.
  • Sergio Maffeis, EPSRCCareer Accelleration Fellow at Imperial, former RA and PhD student
  • Cristiano Calcagno, Monoidics CTO and lecturer at Imperial, former RA
  • Ozan Kahramanogullari, formerly RA with me and Luca Cardelli at Imperial, now at Microsoft Trento.
  • 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 and one of the authors of Asynchrony.
  • Uri Zarfaty, former RA and PhD student, now in industry.

    Teaching

  • Second-year course on Models of Computation
  • Fourth-year course on Models of Concurrent Computation
  • I used to teach a first-year course on Discrete Mathematics
  • I am keen to supervise individual projects.

    Professional Activities

  • Co-chair of ESOP 2013 with Matthias Felleisen, in association with ETAPS.
  • Co-chair of DBPL 2009 with Floris Geerts, in association with VLDB.
  • Chair of Concur 2004, Royal Society, London.
  • Member of the programme committees for ICALP 12, ESOP 12, VMCAI 12, POPL 11, LICS 2011, 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 @)