EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: University of Bristol
Department: Computer Science

Grant TitlePrincipal InvestigatorValue (£)
EXHIBIT : Expressive High-Level Languages for Bidirectional TransformationsWang, Dr M 427,420
GLANCE: GLAnceable Nuances for Contextual EventsMayol-Cuevas, Professor WW 806,994
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsRamsay, Dr S J 366,931
REPHRAIN: Research centre on Privacy, Harm Reduction and Adversarial Influence onlineRashid, Professor A 6,972,599
SCARV: a side-channel hardened RISC-V platformPage, Dr D 1,024,324
Thales-Bristol Partnership in Hybrid Autonomous Systems Engineering (T-B PHASE)Richards, Professor A 2,050,757
Why Johnny doesn't write secure software? Secure software development by the massesRashid, Professor A 853,634

Total Number of Grants: 7
Total Value of Grants: £12,502,659

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