- B.A. Mathematics, Selwyn College, Cambridge University, England (1991-1994).
- Part III (= Master's degree) Mathematics, Selwyn College, Cambridge University, England (1994-1995).
Dissertation on semantics of concurrency. Advisor/supervisor:
Martin Hyland.
- D.Phil. (= Ph.D.) Mathematical Sciences, Magdalen and St. Hugh's colleges, Oxford University, England (1995-1999).
Advisor/supervisor:
Luke Ong. External examiner:
Samson Abramsky (then at Edinburgh).
- Post-doctoral researcher, Theory Group, Computer Science Department,
Stanford University, USA (1999-2000).
Working with
Vaughan Pratt.
- Research Associate, Computer Science, Stanford University, USA (2000-2004).
- Visiting Scholar, Computer Science, Stanford University, USA (from Sept 2004).