Queen Mary, University of London – School of Electronic Engineering and Computer Science
Post-doctoral Research Assistant EPSRC Project: Computation-Sensitive Proofs Queen Mary, University of London – School of Electronic Engineering and Computer Science
