EPSRC logo
Current EPSRC Support by Department

Organisation: University of Manchester, The
Department: Computer Science

Grant TitlePrincipal InvestigatorValue (£)
CAPS: Collaborative Architectures for Proof SearchReger, Dr G 251,632
EnnCore: End-to-End Conceptual Guarding of Neural ArchitecturesCordeiro, Dr LC 1,721,560
Integrating hospital outpatient letters into the healthcare data spaceNenadic, Professor G 767,579
QuTie: reasoning with Quantifiers and TheoriesVoronkov, Professor A 359,372
SCorCH: Secure Code for Capability HardwareReger, Dr G 1,034,990
Skyrmionics for Neuromorphic TechnologiesMoutafis, Dr C 703,710
Socio-technical resilience in software development (STRIDE)Jay, Dr C 50,156
Understanding and developing spin-based emitters for improved far-infrared radiation sourcesNutter, Dr P 534,305
UniFaaS: A Unikernel-Based Serverless Operating SystemOlivier, Dr P 267,264

Total Number of Grants: 9
Total Value of Grants: £5,690,567

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