cv

Education

  • 1990 - 1993
    PhD
    University of Cambridge, UK.
    • On Intuitionistic Linear Logic.
  • 1987 - 1990
    BSc
    Imperial College, London. UK.
    • First Class Honours.

Positions

  • 2014 -
    Consulting Member of Technical Staff
    Oracle
  • 2008 - 2014
    Senior Researcher
    Microsoft Research
  • 2004 - 2008
    Researcher
    Microsoft Research
  • 2000 - 2004
    University Lecturer
    University of Cambridge Computer Laboratory
  • 2000 - 2004
    College Lecturer, Fellow & Director of Studies
    St. John's College, Cambridge