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
Establishing Electrically Programmable Reaction Arrays as Universal Chemical ComputersCronin, Professor LUniversity of GlasgowSchool of Chemistry 733,213
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 NottinghamSch of Physics & Astronomy 368,171
Gather-Level ParallelismAinsworth, Dr SUniversity of EdinburghSch of Informatics 338,140
Hardware Acceleration of Functional Languages (HAFLANG)Stewart, Dr RHeriot-Watt UniversityS of Mathematical and Computer Sciences 350,700
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
Nervous SystemsTrefzer, Dr M AUniversity of YorkElectronics 859,395
Nervous SystemsHarkin, Professor JUniversity of UlsterSch of Computing & Intelligent Systems 614,711
NetPM: Co-designing Data Management and Networking Principles for Persistent MemoryHonda, Dr MUniversity of EdinburghSch of Informatics 391,902
On the way to the asymptotic limit: mathematics of slow-fast coupling in PDEsWingate, Professor BUniversity of ExeterMathematics 849,609
ParaSol: Fine-Grained Thread-Level Parallelism for Single-Threaded PerformanceJones, Dr TMUniversity of CambridgeComputer Science and Technology 1,091,793
Procedural Geometry for HumansKelly, Dr TUniversity of LeedsSch of Computing 382,018
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
Towards Performance Portability in HPC applications for GPUs: An Autonomous ApproachReano, Dr CQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 177,818
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, Professor 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: 35
Total Value of Grants: £26,334,335

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