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
A theory of type theoriesAhrens, Dr BUniversity of BirminghamSchool of Computer Science 261,609
ABC: Adaptive Brokerage for the CloudBarker, Professor AUniversity of St AndrewsComputer Science 386,558
ABC: Adaptive Brokerage for the CloudElkhatib, Dr YLancaster UniversityComputing & Communications 388,701
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 - Cardiff UniversityBurnap, Professor PCardiff UniversityComputer Science 64,898
Academic Centre of Excellence in Cyber Security Research - De Montfort UniversityBoiten, Professor EADe Montfort UniversityComputer Technology 48,741
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 - King's College LondonSuch, Dr JMKings College LondonInformatics 63,961
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRace, Professor NLancaster UniversityComputing & Communications 81,803
Academic Centre of Excellence in Cyber Security Research - Newcastle UniversityGross, Dr TRNewcastle UniversitySch of Computing 81,936
Academic Centre of Excellence in Cyber Security Research - Queen's University BelfastO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 81,965
Academic Centre of Excellence in Cyber Security Research - University College LondonDe Cristofaro, Dr EUCLComputer 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 BristolPage, Dr DUniversity of BristolComputer Science 36,205
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Science and Technology 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 KentLi, Professor SUniversity of KentSch of Computing 64,602
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleCoventry, Professor LNorthumbria, University ofFac of Health and Life Sciences 48,574
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 SouthamptonSch of Electronics and Computer Sci 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
Automatic Binary ParallelisationJones, Dr TMUniversity of CambridgeComputer Science and Technology 850,187
Automatically Detecting and Surviving Exploitable Compiler BugsCadar, Professor CImperial College LondonComputing 672,083
Benchmarking for AI for Science at Exascale (BAISE)Jeyarajan, Dr TSTFC Laboratories (Grouped)Scientific Computing Department 284,104
Border Patrol: Improving Smart Device Security through Type-Aware Systems DesignVanderbauwhede, Dr WUniversity of GlasgowSchool of Computing Science 1,765,760
Centre for Doctoral Training in Cyber Security at Royal HollowayCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,793,546
Combining Viewpoints in Quantum Theory (Ext.)Heunen, Dr CUniversity of EdinburghSch of Informatics 529,579
Compositional Higher-Order Model Checking: Logics, Models and AlgorithmsOng, Professor CHLUniversity of OxfordComputer Science 630,834
Discovery: Pattern Discovery and Program Shaping for Heterogeneous Manycore SystemsCole, Professor MUniversity of EdinburghSch of Informatics 338,165
Discovery: Pattern Discovery and Program Shaping for Manycore SystemsThomson, Dr J DUniversity of St AndrewsComputer Science 366,059
ELEMENT - Exascale Mesh NetworkParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 245,611
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 5,964,769
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 5,733,543
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,892,290
EPSRC Centre for Doctoral Training in Trust, Identity, Privacy and Security in Large-scale Infrastructures (TIPS-at-Scale)Rashid, Professor AUniversity of BristolComputer Science 6,235,172
Event-based parallel computing - partially ordered event-triggered systems (POETS)Brown, Professor ADUniversity of SouthamptonSch of Electronics and Computer Sci 4,981,302
ExaClaw: Clawpack-enabled ExaHyPE for heterogeneous hardwareWeinzierl, Dr TDurham, University ofComputer Science 160,362
Exascale Computing for System-Level Engineering: Design, Optimisation and ResilienceWells, Professor GNUniversity of CambridgeEngineering 134,683
ExCALIBUR-HEPMorgan, Dr BUniversity of WarwickPhysics 59,820
ExCALIBUR-HEPTapper, Dr ADImperial College LondonPhysics 29,718
ExCALIBUR-HEPCostanzo, Professor DUniversity of SheffieldPhysics and Astronomy 80,763
ExCALIBUR-HEPShepherd-Themistocleous, Professor CSTFC Laboratories (Grouped)Particle Physics (PPD) 67,903
EXHIBIT : Expressive High-Level Languages for Bidirectional TransformationsWang, Dr MUniversity of BristolComputer Science 427,420
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
Gen X: ExCALIBUR working group on Exascale continuum mechanics through code generation.Ham, Dr DAImperial College LondonMathematics 159,456
HAMLET: Hardware Enabled Meta-Tracing (ext.)Tratt, Dr LKings College LondonInformatics 922,997
Heterogeneous ThinkingO'Boyle, Professor MUniversity of EdinburghSch of Informatics 1,074,832
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsRamsay, Dr S JUniversity of BristolComputer Science 366,931
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsOng, Professor CHLUniversity of OxfordComputer Science 409,019
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
Lattice Field Theory at the Exascale FrontierLucini, Professor BSwansea UniversityCollege of Science 82,072
Lattice Field Theory at the Exascale FrontierDel Debbio, Professor LUniversity of EdinburghSch of Physics and Astronomy 93,898
Lattice Field Theory at the Exascale FrontierRago, Dr AUniversity of PlymouthSch of Eng, Comp and Math (SECaM) 68,546
Lattice Field Theory at the Exascale FrontierAlexandrov, Professor VSTFC Laboratories (Grouped)The Hartree Centre 25,145
Lattice Field Theory at the Exascale Frontier (EXA-LAT)Jüttner, Dr AUniversity of SouthamptonSch of Physics and Astronomy 95,706
Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto ImplementationsPage, Dr DUniversity of BristolComputer Science 1,150,814
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringSutton, Dr CUniversity of EdinburghSch of Informatics 306,726
Massively Parallel Particle Hydrodynamics for Engineering and AstrophysicsBower, Professor RGDurham, University ofPhysics 294,665
Materials and Molecular Modelling (MMM) Exascale Design and Development Working Group (DDWG)Hasnip, Dr PJUniversity of YorkPhysics 53,357
Materials and Molecular Modelling Exascale Design and Development Working GroupWatkins, Dr MBUniversity of LincolnSchool of Maths and Physics 50,782
Materials and Molecular Modelling Exascale Design and Development Working GroupWoodley, Professor SMUCLChemistry 88,230
Materials And Molecular Modelling Exascale Design And Development Working GroupTurner, Dr ARUniversity of EdinburghEdinburgh Parallel Computing Centre 30,639
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
POST: Protocols, Observabilities and Session TypesYoshida, Professor NImperial College LondonComputing 1,462,802
Programming as Conversation: Type-Driven Development in ActionBrady, Dr ECUniversity of St AndrewsComputer Science 367,276
Prosperity Partnership Call 2 Strategic Students-Rolls Royce and University of EdinburghParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 169,984
Resources and co-resources: a junction between semantics and descriptive complexityAbramsky, Professor SUniversity of OxfordComputer Science 400,336
Resources and co-resources: a junction between semantics and descriptive complexityDawar, Professor AUniversity of CambridgeComputer Science and Technology 399,683
SCOPE: Scoped Contextual Operations and Effects.Wu, Dr NImperial College LondonComputing 262,413
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NImperial College LondonComputing 697,651
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
Session Types for Reliable Distributed Systems (STARDUST)Gay, Professor SJUniversity of GlasgowSchool of Computing Science 563,806
Strategic Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems - ASiMoVParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 6,327,661
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
System-Level Game Semantics: A unifying framework for composing systemsTzevelekos, Dr NQueen Mary University of LondonSch of Electronic Eng & Computer Science 326,972
Trustworthy refactoringThompson, Professor SUniversity of KentSch of Computing 728,766
Turbulent Flow Simulations at the Exascale: Application to Wind Energy and Green AviationLaizet, Dr SImperial College LondonAeronautics 239,613
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 LondonComputing 863,741
Typed Lambda-Calculi with Sharing and UnsharingHeijltjes, Dr W BUniversity of BathComputer Science 325,415
VADA: Value Added Data Systems -- Principles and ArchitectureGottlob, Professor GUniversity of OxfordComputer Science 4,557,635
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
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 89
Total Value of Grants: £82,473,851

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