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
C6: Correct-by-Construction Heterogeneous CoherenceNagarajan, Dr V 494,698
Dijkstra's Pipe: Timing-Secure Processors by DesignNagarajan, Dr V 535,239
Efficient Querying of Inconsistent DataPieris, Dr A 606,439
Sensorimotor Learning for Control of Prosthetic LimbsNazarpour, Dr K 712,798
SpeechWaveRenals, Professor S 667,991
UKRI Trustworthy Autonomous Systems Node in Governance and RegulationRamamoorthy, Professor S 2,631,812

Total Number of Grants: 7
Total Value of Grants: £6,319,652

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