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
Big Hypotheses: A Fully Parallelised Bayesian Inference SolutionMaskell, Professor SUniversity of LiverpoolElectrical Engineering and Electronics 2,557,654
Event-based parallel computing - partially ordered event-triggered systems (POETS)Brown, Professor ADUniversity of SouthamptonSch of Electronics and Computer Sci 4,981,302
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
LAMBDA: Learning Algorithms for Modularity in Broad and Deep ArchitecturesBrown, Professor GUniversity of Manchester, TheComputer Science 521,154
Manycore Research Innovation and Opportunities Network (MaRIONet)Singer, Dr JUniversity of GlasgowSchool of Computing Science 91,619
On the way to the asymptotic limit: mathematics of slow-fast coupling in PDEsWingate, Professor BUniversity of ExeterMathematical Sciences 849,609
Practical Data-intensive Secure Computation: a Data Structural ApproachDong, Dr CNewcastle UniversitySch of Computing 357,256
STRATA; Layers for Structuring Trustworthy Ambient SystemsRomanovsky, Professor ANewcastle UniversitySch of Computing 965,298
Verifiably Correct Transactional MemoryOwens, Dr SAUniversity of KentSch of Computing 82,904
Verifiably Correct Transactional MemoryDongol, Dr BUniversity of SurreyComputing Science 397,680
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: 15
Total Value of Grants: £19,404,896

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