PhD Supervisor

• Andrew Lewis-Smith, concluded Jul 2021
  Constructive Fuzzy Logic
  Second supervisor: Edmund Robinson
  
• Jules Hedges, concluded May 2016
  Game theory and higher-order computability
  Second supervisor: Edmund Robinson
  
• Silvia Steila, concluded October 2015
  Terminating via Ramsey"s theorem
  Co-supervisor: Stefano Berardi
  
• Thomas Powell, concluded July 2013
  On bar recursive interpretations of Analysis
  First supervisor: Edmund Robinson
  
• Federico Aschieri, concluded November 2010
  Learning, Realizability and Games in Classical Arithmetic
  Co-supervisor: Stefano Berardi
  
• Erik A. Mathiesen, concluded July 2007
  Abstract Hoare Logic
  First supervisor: Ursula Martin
  

Internal (QMUL) PhD Examiner

• Mohamed Hamza, viva conducted on 10 March 2025
  Model Checking and Verication of Fresh-Register Automata
  Supervisor: Nikos Tzevelekos
• Arthur Américo Passos De Rezende, viva conducted on 19 October 2022
  Generalized Conditional Entropies and Applications to Channel Ordering and Design
  Supervisor: Pasquale Malacaria
• Francisco de Lemos, viva conducted on 18 July 2022
  Disruption Recovery In Commercial Aviation
  Supervisor: John Woodward
• Thomas David Cuvillier, viva conducted on December 2017
  Nominal Models of Linear Logic
  Supervisor: Nikos Tzevelekos
• Yun Sun, viva conducted in November 2009
  Network Coding and Graph Entropy
  Supervisor: Soren Riis

External PhD Examiner

• Giacomo Barlucchi, viva conducted on 11 June 2026, Gothenburg
  Accounting for Recursion: A Descriptive and Computational Study of Fixed Points
  Supervisor: Bahareh Afshari
  
• Zuha Shahid, viva conducted on 18 May 2026, Swansea (online)
  TBC
  Supervisor: Arnold Beckmann Afshari
  
• Morenikeji Neri, viva conducted on 4 March 2025, Bath
  Applications of Proof Theory to Limit Theorems and Stochastic Processes
  Supervisor: Thomas Powell
  
• Olga Petrovska, viva conducted on 26 February 2021, Swansea
  Enhanced Realizability Interpretation for Program Extraction
  Supervisor: Ulrich Berger
  
• Pedro Pinto, viva conducted on 24 September 2019, Lisbon
  Proof mining with the bounded functional interpretation
  Supervisor: Fernando Ferreira
  
• Andrew Lawrence, viva conducted on 2 March 2015, Swansea
  Verification of Train Control Systems: Tools and Techniques
  Supervisor: Monika Seisenberger
  
• Giovanni Birolo, viva conducted on 17 June 2013, Torino
  Interactive Realizability, Monads and Witness Extraction
  Supervisor: Stefano Berardi
  
• Matthew Lewsey, viva conducted on November 2010, Swansea
  SAT and Category Theory
  Supervisor: Oliver Kullmann