Doctoral Students Graduated

  1. Chang Yan, A Computational Game-Theoretic Study of Reputation, University of Oxford DPhil Thesis, Trinity Term 2014. Co-supervised by Prof. John Quah. Examiners: Prof. Angel Sánchez and Prof. Michael Wooldridge.
  2. Robin Neatherway, Higher-Order Model Checking with Traversals, University of Oxford DPhil Thesis, Trinity Term 2014. Examiners: Dr. Dan Ghica and Prof. Daniel Kröning. First appointment: EPSRC-funded postdoctoral researcher, University of Oxford.
  3. Steven Ramsay, Intersection Types and Higher-Order Model Checking, University of Oxford DPhil Thesis, Hilary Term 2014. Examiners: Prof. Martin Hofmann and Dr. Hongseok Yang. First appointment: EPSRC-funded postdoctoral researcher, University of Warwick.
  4. Michael Vanden Boom, Weak Cost Automata over Infinite Trees, University of Oxford DPhil Thesis, 2012. Examiners: Prof. Mikolaj Bojanczyk and Prof. Michael Benedikt. Currently Research Fellow, Department of Computer Science, University of Oxford.
  5. David Hopkins, Game Semantics Based Equivalence Checking of Higher-Order Functions, University of Oxford DPhil Thesis, 2012. Examiners: Prof. Guy McCusker and Dr. Hongseok Yang. Currently Software Engineer, Ensoft Limited, London.
  6. Christopher Broadbent, On Collapsible Pushdown Automata, their Graphs and the Power of Links, University of Oxford DPhil Thesis, 2011. Examiners: Prof. Colin Stirling and Prof. Joel Ouaknine. First employment: Research Fellow, Foundation Sciences Mathématiques de Paris; currently Alexander von Humboldt Foundation Research Fellow, Technical University of Munich.
  7. Yong Xie, Game Composition, an Adjustable Commitment Folk Theorem, and Peer-to-peer Systems, University of Oxford DPhil Thesis, 2010. Examiners: Prof. Michael Wooldridge and Dr. Alexandru Baltag. First employment: Quantitative Analyst, Wadhwani Asset Management, London.
  8. Matthew Hague, Saturation Methods for Global Model-Checking Pushdown Systems, University of Oxford DPhil Thesis, Hilary Term 2009. Examiners: Prof. Javier Esparza and Prof. James Worrell. Currently EPSRC Early Career Fellow, and Lecturer in Computer Science, Royal Holloway University of London.
  9. Sam Sanjabi, A Semantics for Aspects by Compositional Translation, University of Oxford DPhil Thesis, 2009. Examiners: Prof. Chris Hankin and Prof. Oege de Moor. Currently Advisory Software Engineer, Toronto, Canada.
  10. William Blum, The Safe Lambda Calculus, University of Oxford DPhil Thesis, Michaelmas Term 2008. Examiners: Prof. Guy McCusker and Prof. Samson Abramsky. Currently Senior Engineering Manager, Microsoft, Seattle USA.
  11. Jolie G. de Miranda, Structures Generated by Higher-Order Grammars and the Safety Constraint, University of Oxford DPhil Thesis, Trinity Term 2006. Examiners: Prof. Colin Stirling and Prof. Joel Ouaknine. First employment: Quantitative Analyst, Foreign Exchange, Royal Bank of Scotland.
  12. William Greenland, Game Semantics and Region Analysis, University of Oxford DPhil Thesis, Trinity Term 2005. Currently Director of Instructional Analysis, University of Chicago.
  13. Andrzej S. Murawski: On Type-theoretic and Semantic Aspects of Polynomial-time Computability, University of Oxford DPhil Thesis, Michaelmas Term 2001. Examiners: Prof. Martin Hyland and Prof. Samson Abramsky. Currently Associate Professor of Computer Science, University of Warwick.
  14. Andrew D. Ker: Innocent Game Models of Untyped Lambda Calculus, University of Oxford DPhil Thesis, Hilary Term 2001. Currently University Lecturer in Computer Science, University of Oxford.
  15. Corin S. Pitcher: Functional Programming and Erratic Nondeterminism, University of Oxford DPhil Thesis, Trinity Term 2001. Currently Associate Professor, De Paul University, Chicago.
  16. Sula Ma, An Object-based Algebraic Specification Environment, University of Oxford DPhil Thesis, Trinity Term 2001.
  17. Corina Cirstea: Algebras and Co-algebras for Objects, (Co-supervised by Dr. Grant Malcolm) University of Oxford DPhil Thesis, 2000. Currently Lecturer in Computer Science, University of Southampton.
  18. Dominic Hughes: Game Models of Polymorphism and Parametricity, University of Oxford DPhil Thesis, 2000. First employment: Research Fellow, Stanford University, USA.
  19. Charles A. Stewart: On the Formula-as-Type Correspondence of Classical Proofs, University of Oxford DPhil Thesis, 2000. First employment: Research Fellow, Artificial Intelligence Institute, Technical University of Dresden.
  20. Thong-Wei Koh: Internal Languages for *-Autonomous Categories, University of Oxford DPhil Thesis, 1998. Currently Founding Partner, Kinetic Laboratory, Chicago.

Current Doctoral Students

  1. Jonathan Kochems, Decidable Models of Recursive Asynchronous Concurrency, University of Oxford DPhil candidate since October 2010.
  2. Emanuele D'Osualdo, Automatic Verification of Actor-style Functional Concurrency, University of Oxford DPhil candidate since October 2010.
  3. Martin Lester, Verifying Information Flow and Metaprogramming in Dynamically Typed Languages, University of Oxford DPhil candidate since October 2009.
  4. David Landsberg, Counterfactuals and Verification, University of Oxford DPhil candidate since October 2010. Co-supervised by Prof. Daniel Kröning.
  5. Lihao Liang, Verification of Interrupt-driven Software, University of Oxford DPhil candidate since October 2010. Co-supervised by Prof. Daniel Kröning and Prof. Tom Melham.
  6. Conrad Cotton-Barratt, Weak and Nested Class Memory Automata and Program Verification, University of Oxford DPhil candidate since October 2012. Co-supervised by Dr. Andrzej Murawski.
  7. Egor Ianovski, Complexity of Computing Nash Equilibria of Boolean Games, University of Oxford DPhil candidate since October 2012.
  8. Marcelo de Sousa, Unfoldings and Partial Order Reductions, University of Oxford DPhil candidate since January 2013. Co-supervised by Prof. Daniel Kröning.
  9. Charles Grelois, Indexed Linear Logic and Higher-Order Model Checking, since October 2012. Université Paris Diderot PhD candidate since October 2012. Co-supervised by Dr. Paul-André Melliès.