EPSRC logo
EPSRC Support by Research Area (Architecture and Operating Systems) in Theme (Information and Communication Technologies)

Research areas are used to describe EPSRC's portfolio of excellent long term research and high quality postgraduate training.

Grants are classified using one or more research areas. The number and value of grants listed below reflects how the theme portfolio is described by this research area.

Please note: some research areas will appear under multiple themes. There is no unique, absolute, relationship between a research area and a theme.

Grant TitlePrincipal
Investigator		OrganisationDepartmentTotal Grant
Value (£)
Application Customisation: Enhancing Design Quality and Developer ProductivityLuk, Professor WImperial College LondonComputing 1,263,356
Automatic Binary ParallelisationJones, Dr TMUniversity of CambridgeComputer Science and Technology 850,187
Autonomous NAnotech GRAph Memory (ANAGRAM)Serb, Dr AUniversity of SouthamptonOptoelectronics Research Centre (ORC) 347,274
Big Hypotheses: A Fully Parallelised Bayesian Inference SolutionMaskell, Professor SUniversity of LiverpoolElectrical Engineering and Electronics 2,557,654
C6: Correct-by-Construction Heterogeneous CoherenceNagarajan, Dr VUniversity of EdinburghSch of Informatics 494,698
CAPS: Collaborative Architectures for Proof SearchReger, Dr GUniversity of Manchester, TheComputer Science 251,632
DART: Design Accelerators by Regulating TransformationsLuk, Professor WImperial College LondonComputing 613,910
EDGE - Adaptive Deep Learning Hardware for Embedded PlatformsZhai, Dr XUniversity of EssexComputer Sci and Electronic Engineering 232,166
End to End Authentication of Caller ID in Heterogeneous Telephony SystemsHao, Professor FUniversity of WarwickComputer Science 901,040
Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded SystemsBrown, Dr CMUniversity of St AndrewsComputer Science 382,865
Event-based parallel computing - partially ordered event-triggered systems (POETS)Brown, Professor ADUniversity of SouthamptonSch of Electronics and Computer Sci 4,981,302
FNR - Attenuating the Environmental Impact of our Buildings through Semantic-based Dynamic Life cycle Assessment (SemanticLCA)Rezgui, Professor YCardiff UniversitySch of Engineering 638,567
Future Memcomputing Arrays for Next Generation Computer VisionKemp, Dr NTUniversity of HullPhysics 368,171
Heterogeneous computing platforms for resource-aware video and data analytics (HOPWARE)Nunez-Yanez, Dr JUniversity of BristolElectrical and Electronic Engineering 12,406
Keep LearningHart, Professor EEdinburgh Napier UniversitySchool of Computing 388,219
Keep LearningMiguel, Professor IJUniversity of St AndrewsComputer Science 378,027
Magnetic Architectures for Reservoir Computing Hardware (MARCH)Allwood, Professor DAUniversity of SheffieldMaterials Science and Engineering 936,815
MARCH: Magnetic Architectures for Reservoir Computing HardwareStepney, Professor SUniversity of YorkComputer Science 1,162,095
On the way to the asymptotic limit: mathematics of slow-fast coupling in PDEsWingate, Professor BUniversity of ExeterMathematics 849,609
Spin waves to the rescue. Development of a spintronic reservoir computing platform (GRA0326)van der Laan, Professor GDiamond Light SourceCEO's Office 66,859
Spin waves to the rescue: Development of a spintronic reservoir computing platformHesjedal, Professor TUniversity of OxfordOxford Physics 451,563
UniFaaS: A Unikernel-Based Serverless Operating SystemOlivier, Dr PUniversity of Manchester, TheComputer Science 267,264
Verifiably Correct Transactional MemoryDongol, Dr BUniversity of SurreyComputing Science 397,680
Verifiably Correct Transactional MemoryBatty, Dr MUniversity of KentSch of Computing 82,904
Verifiably Correct Transactional Memory.Derrick, Professor JUniversity of SheffieldComputer Science 406,411
Verification of Hardware Concurrency via Model Learning (CLeVer)Silva, Professor AUCLComputer Science 692,958
Wearable and Autonomous Computing for Future Smart Cities: A Platform GrantBeeby, Professor SPUniversity of SouthamptonSch of Electronics and Computer Sci 1,431,420

Total Number of Grants: 27
Total Value of Grants: £21,407,052

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