EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: University of Bath
Department: Computer Science

Grant TitlePrincipal InvestigatorValue (£)
CAMERA 2.0Cosker, Professor DP 3,401,654
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic DecompositionDavenport, Professor JH 505,757
Typed Lambda-Calculi with Sharing and UnsharingHeijltjes, Dr W B 325,415

Total Number of Grants: 3
Total Value of Grants: £4,232,825

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