University of Oxford DPhil Thesis Supervision
- Thong-Wei Koh (Chief Investment Officer, Trading Machines LLC, since 2008). "Internal Languages for *-Autonomous Categories",
DPhil awarded 1998.
- 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.
- Dominic Hughes
(Research Fellow, Stanford University, USA, since 1999). "Game
Models of Polymorphism and Parametricity", DPhil awarded 2000.
- 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.
-
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.
-
Corin S. Pitcher
(Associate Professor, De Paul University, Chicago, USA, since
1999). "Functional Programming and Erratic Non-Determinism", DPhil
awarded Sep 2001.
-
Andrzej
S. Murawski (EPSRC Advanced Research Fellow). "On Type-theoretic and Semantic Aspects of
Polynomial-time Computability", DPhil awarded Oct 2001.
-
Sula Ma. "An Object-based Algebraic Specification Environment", (1998
- 2000), DPhil awarded Aug 2001.
-
William Greenland (Office of Budget and Planning, University of Michigan). "Game Semantics for Region Analysis", DPhil awarded April 2005.
-
Jolie de Miranda (Quantitative Analyst, Royal Bank of Scotland). Structures generated by Higher-Order Grammars and the Safety Constraint, DPhil awarded 2006.
-
Matthew Hague (Research Associate, Oxford University Computing Laboratory). Saturation Methods for Global Model-Checking Pushdown Systems, DPhil awarded 2009.
-
Sam Sanjabi (Postdoctoral Researcher, University of Paris 12). "A Semantics of Aspect Orientation", DPhil awarded 2009.
-
William Blum (Software Engineer, Microsoft USA). The Safe Lambda Calculus, DPhil awarded 2009.
University of Oxford MSc Thesis Supervision
-
Benjamin Earl. "Tools for Domain Theory", MSc 1996 (Distinction).
-
Neophytos
Michael. "Lambda Calculus and Cartesian Closed Categories", MSc
1997.
-
M. Thomas Burt. "Game Semantics", MSc 1998.
-
Hasan
Amjad. "Linear Logic and CSP", MSc 1999 (Distinction).
-
Remi de Jouvencel. "Design and Implementation of a Java Mailer", MSc
1999 (Distinction).
-
Rainer Fischer. "An Analysis of the Border Gateway Protocol", MSc
(Distinction) 2000.
-
James Wright. "Deciding Equivalence of Deterministic Pushdown
Automata", MSc 2003 (Distinction).
-
William Blum. "Termination Analysis of a Simple Functional Language",
MSc 2003 (Distinction).
-
Christopher Thompson-Walsh. "Reachability in Multi-threaded Programs",
MSc (MFoCS) 2007 (Distinction).