• 1 WEST 4.54

Accepting PhD Students

19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Thesis

A general view of normalisation through atomic flows

Author: Gundersen, T., 1 Aug 2009

Supervisor: McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Auto-tuning compiler for HPC

Author: Jones, J., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals

Author: Clutha, M., 1 Jan 2011

Supervisor: Vorobjov, N. (Supervisor) & McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Graphical Foundations for Dialogue Games

Author: Wingfield, C., 31 Dec 2013

Supervisor: McCusker, G. (Supervisor) & Power, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Imperative Programs as Proofs via Game Semantics

Author: Churchill, M., 1 Oct 2011

Supervisor: McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Logical aspects of logical frameworks

Author: Price, M., 1 Nov 2008

Supervisor: Pym, D. (Supervisor) & McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

The Atomic Lambda-Mu Calculus

Author: He, F., 29 May 2018

Supervisor: Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Towards a Godement Calculus for Dinatural Transformations

Author: Santamaria, A., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File