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 LondonDept of Computing 1,263,356
Automatic Binary ParallelisationJones, Dr TMUniversity of CambridgeComputer Science and Technology 850,187
Big Hypotheses: A Fully Parallelised Bayesian Inference SolutionMaskell, Professor S SUniversity of LiverpoolElectrical Engineering and Electronics 2,557,654
ENergy Efficient Adaptive Computing with multi-grain heterogeneous architectures (ENEAC)Nunez-Yanez, Dr JUniversity of BristolElectrical and Electronic Engineering 567,204
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
Manchester Centre for Doctoral Training in Computer ScienceFurber, Professor S BUniversity of Manchester, TheComputer Science 2,206,798
Manycore Research Innovation and Opportunities Network (MaRIONet)Singer, Dr JUniversity of GlasgowSchool of Computing Science 91,619
Mixed Criticality Cyber Physical SystemsBurns, Professor AUniversity of YorkComputer Science 990,455
On the way to the asymptotic limit: mathematics of slow-fast coupling in PDEsWingate, Professor BUniversity of ExeterMathematical Sciences 849,609
Pin the Tail: Understanding Straggler Manifestation in Internet-based Distributed SystemsGarraghan, Dr PLancaster UniversityComputing & Communications 96,599
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 MemoryDongol, Dr BUniversity of SurreyComputing Science 397,680
Verifiably Correct Transactional MemoryOwens, Dr SAUniversity 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: 19
Total Value of Grants: £23,265,952

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