EPSRC logo
Current EPSRC Support by Department

Organisation: University of Leeds
Department: Pure Mathematics

Grant TitlePrincipal InvestigatorValue (£)
Homotopy Type Theory: Programming and VerificationGambino, Dr N 93,134
Topological defects in multicomponent Ginzburg-Landau theorySpeight, Professor JM 291,436

Total Number of Grants: 2
Total Value of Grants: £384,570

The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).