EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: University of Edinburgh
Department: Sch of Informatics

Grant TitlePrincipal InvestigatorValue (£)
AISEC: AI Secure and Explainable by ConstructionAspinall, Professor D 670,675
Benchmarking Quantum AdvantageGarcia-Patron Sanchez, Dr R 498,885
C6: Correct-by-Construction Heterogeneous CoherenceBarbalace, Dr A 494,698
Dijkstra's Pipe: Timing-Secure Processors by DesignPatras, Dr P 535,239
Efficient Cross-Domain DSL Development for ExascaleGrosser, Dr TC 577,148
Equally Safe OnlineMcNeill, Dr F 177,154
Facilitating health and wellbeing by developing systems for early recognition of urinary tract infections - FeatherNazarpour, Professor K 1,100,918
Insect-inspired depth perceptionWebb, Professor B 490,506
Rubber DUQ: Flexible Dynamic Universal Quantum programmingHeunen, Dr C 1,037,881
UKRI Trustworthy Autonomous Systems Node in Governance and RegulationRamamoorthy, Professor S 2,671,812

Total Number of Grants: 10
Total Value of Grants: £8,254,918

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