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 correct-by-construction approach to approximate computationMardare, Professor RUniversity of StrathclydeComputer and Information Sciences 692,875
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleBriggs, Professor PNorthumbria, University ofFac of Health and Life Sciences 48,574
C6: Correct-by-Construction Heterogeneous CoherenceNagarajan, Dr VUniversity of EdinburghSch of Informatics 494,698
CaMELot: Catching and Mitigating Event-Loop Concurrency IssuesMarr, Dr SUniversity of KentSch of Computing 209,756
Capable VMsSinger, Dr JUniversity of GlasgowSchool of Computing Science 469,283
CapableVMsTratt, Professor LKings College LondonInformatics 837,189
CapC: Capability C semantics, tools and reasoningBatty, Professor MUniversity of KentSch of Computing 485,168
CHERI for Hypervisors and Operating Systems (CHaOS)Watson, Dr R N MUniversity of CambridgeComputer Science and Technology 875,939
CompBioMedX: Computational Biomedicine at the ExascaleCoveney, Professor PUCLChemistry 406,428
CompBioMedX: Computational Biomedicine at the ExascaleMarzo, Dr AUniversity of SheffieldMechanical Engineering 177,602
Computational Biomedicine at the ExascaleRodriguez, Professor BUniversity of OxfordComputer Science 174,168
DIADEM: debugging made dependable and measurableKell, Dr S RKings College LondonInformatics 324,823
Efficient Cross-Domain DSL Development for ExascaleGorman, Professor GImperial College LondonEarth Science and Engineering 430,061
Efficient Cross-Domain DSL Development for ExascaleGrosser, Dr TCUniversity of EdinburghSch of Informatics 577,148
Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded SystemsBrown, Dr CMUniversity of St AndrewsComputer Science 382,865
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 6,322,951
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 6,061,028
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,937,632
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,519,218
EXHIBIT : Expressive High-Level Languages for Bidirectional TransformationsWang, Dr MUniversity of BristolComputer Science 427,420
Hardware Acceleration of Functional Languages (HAFLANG)Stewart, Dr RHeriot-Watt UniversityS of Mathematical and Computer Sciences 350,700
Heterogeneous ThinkingO'Boyle, Professor MUniversity of EdinburghSch of Informatics 1,074,832
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsMurawski, Professor AUniversity of OxfordComputer Science 409,019
Imperative programs from proofsPowell, Dr T R JUniversity of BathComputer Science 311,440
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
Language Embeddings for Proof EngineeringKavvos, Dr AUniversity of BristolComputer Science 97,448
MEBI: Mechanised Bisimilarities and Behavioural-typed ProcessesCastro-Perez, Dr DUniversity of KentSch of Computing 162,324
Modernise Compiler Technology With Deep LearningWang, Professor ZUniversity of LeedsSch of Computing 202,424
Nominal String DiagramsZanasi, Dr FUCLComputer Science 429,666
Nominal String DiagramsGhica, Professor DRUniversity of BirminghamSchool of Computer Science 429,879
ParaSol: Fine-Grained Thread-Level Parallelism for Single-Threaded PerformanceJones, Professor TMUniversity of CambridgeComputer Science and Technology 1,091,793
Particles At eXascale on High Performance Computers (PAX-HPC)Woodley, Professor SMUCLChemistry 3,041,191
POST: Protocols, Observabilities and Session TypesYoshida, Professor NUniversity of OxfordComputer Science 1,243,069
Resources in ComputationAbramsky, Professor SUCLComputer Science 1,792,395
Rubber DUQ: Flexible Dynamic Universal Quantum programmingHeunen, Dr CUniversity of EdinburghSch of Informatics 1,037,881
SACRED-MA: Safe And seCure REmote Direct Memory AccessRaad, Dr AImperial College LondonComputing 452,577
SACRED-MA: Safe And seCure REmote Direct Memory AccessDongol, Professor BUniversity of SurreyComputing Science 466,480
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
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NUniversity of OxfordComputer Science 599,888
SONNETS: Scalability Oriented Novel Network of Event Triggered SystemsThomas, Professor DBUniversity of SouthamptonSch of Electronics and Computer Sci 6,467,613
Strategic Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems - ASiMoVParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 6,327,661
Sustainability and EDI (Equality, Diversity, and Inclusion) in the R ProjectTurner, Dr HLUniversity of WarwickStatistics 776,695
SysGenX: Composable software generation for system-level simulation at ExascaleBetcke, Professor TUCLMathematics 764,866
SysGenX: Composable software generation for system-level simulation at ExascaleHam, Dr DAImperial College LondonMathematics 813,413
SysGenX: Composable software generation for system-level simulation at ExascaleFarrell, Professor PEUniversity of OxfordMathematical Institute 365,774
SysGenX: Composable software generation for system-level simulation at exascaleWells, Professor GNUniversity of CambridgeEngineering 979,027
Transparent Compression for General-Purpose Programming LanguagesPirk, Dr HImperial College LondonComputing 293,360
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentSchewe, Professor SUniversity of LiverpoolComputer Science 426,375
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentKhakpour, Dr NNNewcastle UniversitySch of Computing 492,653
Trustworthy Distributed Brain-inspired Systems: Theoretical Basis and Hardware ImplementationAlouani, Dr IQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 299,391
Turbulence at the exascale: application to wind energy, green aviation, air quality and net-zero combustionLaizet, Professor SImperial College LondonAeronautics 2,670,328
TYPDSEC: TYPe-based information Declassification and its SEcure CompilationRajani, Dr VUniversity of KentSch of Computing 160,392
Uni-pi: safety, adaptability and resilience in distributed ecosystems, by constructionDardha, Dr OUniversity of GlasgowSchool of Computing Science 409,562
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 55
Total Value of Grants: £73,139,739

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