Academic Roles
Programme
Committee
(PC) Member
Organiser
PhD Supervisor
- Tom Powell, started
November 2009
First supervisor: Edmund Robinson
Title: TBD
- Federico Aschieri,
concluded November 2010
Co-supervisor: Stefano Berardi
Title: Learning, Realizability and
Games in Classical Arithmetic
- Erik A. Mathiesen,
concluded July 2007
First supervisor: Ursula Martin
Title: Abstract Hoare Logic
Internal QM PhD Examiner
- Yun Sun, viva held on
November 2009
Supervisor: Soren Riss
Title: Network Coding and Graph
Entropy
External PhD Examiner
- Matthew Lewsey, viva help
on November 2010
Supervisor: Oliver Kullmann
Title: SAT and Category Theory