PhD Supervisor
Internal (QMUL) PhD Examiner
-
Arthur Américo Passos De Rezende, viva to be held
TBC
Supervisor: Pasquale Malacaria
-
Thomas David Cuvillier, viva held 19 December 2017
Nominal Models of Linear Logic
Supervisor: Nikos Tzevelekos
-
Yun Sun, viva held on November 2009
Network Coding and Graph Entropy
Supervisor: Soren Riis
External PhD Examiner
-
Olga Petrovska, viva held on 26 February 2021, Swansea
Enhanced Realizability Interpretation for Program Extraction
Supervisor: Ulrich Berger
-
Pedro Pinto, viva held on 24 September 2019, Lisbon
Proof mining with the bounded functional interpretation
Supervisor: Fernando Ferreira
-
Andrew Lawrence, viva held on 2 March 2015, Swansea
Verification of Train Control Systems: Tools and Techniques
Supervisor: Monika Seisenberger
-
Giovanni Birolo, viva held on 17 June 2013, Torino
Interactive Realizability, Monads and Witness Extraction
Supervisor: Stefano Berardi
-
Matthew Lewsey, viva held on November 2010, Swansea
SAT and Category Theory
Supervisor: Oliver Kullmann