University of Oxford DPhil Thesis Supervision

  1. Thong-Wei Koh (Chief Investment Officer, Trading Machines LLC, since 2008). "Internal Languages for *-Autonomous Categories", DPhil awarded 1998.
  2. Charles A. Stewart (Research Fellow, Artificial Intelligence Institute, Techical University of Dresden, since 2001). "On the Formula-as-Type Correspondence of Classical Proofs", DPhil awarded 2000.
  3. Dominic Hughes (Research Fellow, Stanford University, USA, since 1999). "Game Models of Polymorphism and Parametricity", DPhil awarded 2000.
  4. Corina Cirstea (Lecturer in Computer Science, University of Southampton, UK, since 2003). "Algebras and Co-algebras for Objects" (joint supervision with Dr. Grant Malcolm), DPhil awarded 2000.
  5. Andrew D. Ker (Royal Society University Research Fellow, 2003 - 2009; from October 2009: University Lecturer, Oxford University Computing Laboratory, and Tutorial Fellow, University College, Oxford). "Innocent Game Models of Untyped Lambda Calculus", DPhil awarded Mar 2001.
  6. Corin S. Pitcher (Associate Professor, De Paul University, Chicago, USA, since 1999). "Functional Programming and Erratic Non-Determinism", DPhil awarded Sep 2001.
  7. Andrzej S. Murawski (EPSRC Advanced Research Fellow). "On Type-theoretic and Semantic Aspects of Polynomial-time Computability", DPhil awarded Oct 2001.
  8. Sula Ma. "An Object-based Algebraic Specification Environment", (1998 - 2000), DPhil awarded Aug 2001.
  9. William Greenland (Office of Budget and Planning, University of Michigan). "Game Semantics for Region Analysis", DPhil awarded April 2005.
  10. Jolie de Miranda (Quantitative Analyst, Royal Bank of Scotland). Structures generated by Higher-Order Grammars and the Safety Constraint, DPhil awarded 2006.
  11. Matthew Hague (Research Associate, Oxford University Computing Laboratory). Saturation Methods for Global Model-Checking Pushdown Systems, DPhil awarded 2009.
  12. Sam Sanjabi (Postdoctoral Researcher, University of Paris 12). "A Semantics of Aspect Orientation", DPhil awarded 2009.
  13. William Blum (Software Engineer, Microsoft USA). The Safe Lambda Calculus, DPhil awarded 2009.

University of Oxford MSc Thesis Supervision

  1. Benjamin Earl. "Tools for Domain Theory", MSc 1996 (Distinction).
  2. Neophytos Michael. "Lambda Calculus and Cartesian Closed Categories", MSc 1997.
  3. M. Thomas Burt. "Game Semantics", MSc 1998.
  4. Hasan Amjad. "Linear Logic and CSP", MSc 1999 (Distinction).
  5. Remi de Jouvencel. "Design and Implementation of a Java Mailer", MSc 1999 (Distinction).
  6. Rainer Fischer. "An Analysis of the Border Gateway Protocol", MSc (Distinction) 2000.
  7. James Wright. "Deciding Equivalence of Deterministic Pushdown Automata", MSc 2003 (Distinction).
  8. William Blum. "Termination Analysis of a Simple Functional Language", MSc 2003 (Distinction).
  9. Christopher Thompson-Walsh. "Reachability in Multi-threaded Programs", MSc (MFoCS) 2007 (Distinction).