EPSRC logo
EPSRC Support by Research Area in Programming Languages and Compilers

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. All the grants listed below have some relevance to this research area. The value of the investment is the total awarded by EPSRC and does not reflect the proportion assigned to this research area.

We always try to ensure that grants on the web contains the most recent information but it is possible that some might be slightly out of date.

Grant TitlePrincipal
Investigator
OrganisationDepartmentTotal Grant
Value (£)
A Constraint Modelling PipelineMiguel, Professor IJUniversity of St AndrewsComputer Science 886,923
ABC: Adaptive Brokerage for the CloudBlair, Professor GLancaster UniversityComputing & Communications 388,701
ABC: Adaptive Brokerage for the CloudBarker, Dr AUniversity of St AndrewsComputer Science 386,558
Academic Centre of Excellence in Cyber Security Research - [Royal Holloway University of London]Markantonakis, Professor KRoyal Holloway, Univ of LondonInformation Security 78,117
Academic Centre of Excellence in Cyber Security Research - Imperial College LondonLupu, Professor ECImperial College LondonInstitute for Security Science and Tech 81,930
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRashid, Professor ALancaster UniversityComputing & Communications 81,803
Academic Centre of Excellence in Cyber Security Research - Newcastle UniversityGross, Dr TRNewcastle UniversitySch of Computer Science 81,936
Academic Centre of Excellence in Cyber Security Research - Queen's University BelfastMcCanny, Professor JVQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 81,965
Academic Centre of Excellence in Cyber Security Research - University College LondonGroth, Professor JUCLComputer Science 81,904
Academic Centre of Excellence in Cyber Security Research - University of BirminghamRyan, Professor MUniversity of BirminghamSchool of Computer Science 81,162
Academic Centre of Excellence in Cyber Security Research - University of BristolSmart, Professor NUniversity of BristolComputer Science 36,205
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Laboratory 81,719
Academic Centre of Excellence in Cyber Security Research - University of EdinburghAspinall, Professor DUniversity of EdinburghSch of Informatics 81,715
Academic Centre of Excellence in Cyber Security Research - University of OxfordMartin, Professor AUniversity of OxfordComputer Science 81,931
Academic Centre of Excellence in Cyber Security Research - University of SouthamptonSassone, Professor VUniversity of SouthamptonElectronics and Computer Science 81,867
Academic Centre of Excellence in Cyber Security Research - University of SurreySchneider, Professor SAUniversity of SurreyComputing Science 81,966
Academic Centre of Excellence in Cyber Security Research - University of WarwickMaple, Professor CUniversity of WarwickWMG 81,965
AnyScale ApplicationsSinger, Dr JUniversity of GlasgowSchool of Computing Science 1,166,422
Automatic Binary ParallelisationJones, Dr TMUniversity of CambridgeComputer Laboratory 850,187
Big-Data Compressive Sensing: Fast, Parallelised and Distributed AlgorithmsMcEwen, Dr JUCLMullard Space Science Laboratory 742,513
Border Patrol: Improving Smart Device Security through Type-Aware Systems DesignVanderbauwhede, Dr WUniversity of GlasgowSchool of Computing Science 1,765,760
C3: Scalable & Verified Shared Memory via Consistency-directed Cache CoherenceNagarajan, Dr VUniversity of EdinburghSch of Informatics 668,897
CamFort: Automated evolution and verification of computational science modelsRice, Dr ACUniversity of CambridgeComputer Laboratory 542,082
CCP Flagship: Quasiparticle Self-Consistent GW for Next-Generation Electronic Structurevan Schilfgaarde, Professor MKings College LondonPhysics 715,138
Centre for Doctoral Training in Cyber Security at Royal HollowayCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,793,546
Coalgebraic Foundations of Semi-Structured DataKupke, Dr CUniversity of StrathclydeComputer and Information Sciences 99,423
Coarse Approximator CompilationFensch, Dr CHeriot-Watt UniversityS of Mathematical and Computer Sciences 99,816
Compositional Higher-Order Model Checking: Logics, Models and AlgorithmsOng, Professor CHLUniversity of OxfordComputer Science 630,834
Conversation-Based Governance for Distributed Systems by Multiparty Session TypesYoshida, Professor NImperial College LondonDept of Computing 1,500,660
Discovery: Pattern Discovery and Program Shaping for Heterogeneous Manycore SystemsCole, Dr MUniversity of EdinburghSch of Informatics 338,165
Discovery: Pattern Discovery and Program Shaping for Manycore SystemsHammond, Professor KUniversity of St AndrewsComputer Science 366,059
Enhancing Security Through Improved Cryptographic ReductionsMeiklejohn, Ms SUCLComputer Science 75,893
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,892,290
Event-based parallel computing - partially ordered event-triggered systems (POETS)Brown, Professor ADUniversity of SouthamptonElectronics and Computer Science 4,981,302
Exploiting Parallelism through Type Transformations for Hybrid Manycore SystemsVanderbauwhede, Dr WUniversity of GlasgowSchool of Computing Science 1,539,602
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
Homotopy Type Theory: Programming and VerificationGambino, Dr NUniversity of LeedsPure Mathematics 93,134
Homotopy Type Theory: Programming and VerificationAltenkirch, Dr TUniversity of NottinghamSchool of Computer Science 408,815
Homotopy Type Theory: Programming and VerificationGhani, Professor NUniversity of StrathclydeComputer and Information Sciences 499,631
Improving Symbolic Execution via Targeted Program TransformationsCadar, Dr CImperial College LondonDept of Computing 286,470
Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto ImplementationsOswald, Professor MEUniversity of BristolComputer Science 1,150,814
LECTURE: LanguagE ComposiTion UnifiEdTratt, Dr LKings College LondonInformatics 953,405
Logical Relations for Program VerificationGhani, Professor NUniversity of StrathclydeComputer and Information Sciences 442,444
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringBarr, Dr EUCLComputer Science 337,411
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringSutton, Dr CUniversity of EdinburghSch of Informatics 306,726
Manchester Centre for Doctoral Training in Computer ScienceFurber, Professor S BUniversity of Manchester, TheComputer Science 2,206,082
Manycore Research Innovation and Opportunities Network (MaRIONet)Singer, Dr JUniversity of GlasgowSchool of Computing Science 91,619
Mind the Gap: Unified Reasoning About Program Correctness and EfficiencyHutton, Professor GUniversity of NottinghamSchool of Computer Science 411,980
Modelling and Optimisation with GraphsProsser, Dr PUniversity of GlasgowSchool of Computing Science 673,092
Oxford University Centre for Doctoral Training in Cyber SecurityMartin, Professor AUniversity of OxfordComputer Science 3,662,582
PAMELA: a Panoramic Approach to the Many-CorE LAndsape - from end-user to end-device: a holistic game-changing approachFurber, Professor S BUniversity of Manchester, TheComputer Science 4,135,048
Program Logics for Compositional Specification and Verification of Distributed SystemsSergey, Dr IUCLComputer Science 101,009
Recursion, guarded recursion and computational effectsLevy, Dr PBUniversity of BirminghamSchool of Computer Science 361,844
Reliable Many-Core ProgrammingDonaldson, Dr AFImperial College LondonDept of Computing 1,005,751
REMS: Rigorous Engineering for Mainstream SystemsSewell, Professor PMUniversity of CambridgeComputer Laboratory 5,575,635
RS Fellow - EPSRC grant (2014): Quantum computation as a programming languageStaton, Dr SUniversity of OxfordComputer Science 226,293
SANDeRS: Smart, Adaptive Compilation for Dark SiliconWang, Dr ZLancaster UniversityComputing & Communications 98,613
Semantic Foundations for Interactive ProgramsKrishnaswami, Dr NUniversity of CambridgeComputer Laboratory 96,282
System-Level Game Semantics: A unifying framework for composing systemsGhica, Dr DRUniversity of BirminghamSchool of Computer Science 334,312
System-Level Game Semantics: A unifying framework for composing systemsTzevelekos, Dr NQueen Mary University of LondonSch of Electronic Eng & Computer Science 326,972
Time-sensitive protocol design and implementationBocchi, Dr LUniversity of KentSch of Computing 101,196
Trustworthy refactoringThompson, Professor SUniversity of KentSch of Computing 728,766
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsChopra, Dr ALancaster UniversityComputing & Communications 686,507
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsYoshida, Professor NImperial College LondonDept of Computing 863,741
VADA: Value Added Data Systems -- Principles and ArchitectureGottlob, Professor GUniversity of OxfordComputer Science 4,557,635
Verification of Web-based Systems (VOWS)Popescu, Dr A AMiddlesex UniversitySchool of Science and Technology 100,933
Verifying concurrent algorithms on Weak Memory ModelsOwens, Dr SAUniversity of KentSch of Computing 285,988
Verifying concurrent algorithms on Weak Memory ModelsDerrick, Professor JUniversity of SheffieldComputer Science 389,207

Total Number of Grants: 68
Total Value of Grants: £61,982,981

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