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 RHeriot-Watt UniversityS of Mathematical and Computer Sciences 568,555
C6: Correct-by-Construction Heterogeneous CoherenceBarbalace, Dr AUniversity of EdinburghSch of Informatics 494,698
CapableVMsTratt, Professor LKings College LondonInformatics 837,189
CHERI for Hypervisors and Operating Systems (CHaOS)Watson, Dr R N MUniversity of CambridgeComputer Science and Technology 878,316
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
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 6,324,500
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 6,096,750
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,540,748
Hardware Acceleration of Functional Languages (HAFLANG)Stewart, Dr RHeriot-Watt UniversityS of Mathematical and Computer Sciences 350,700
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
On-Sensor Computer VisionDudek, Professor PUniversity of Manchester, TheElectrical and Electronic Engineering 1,327,360
On-Sensor Computer VisionMayol-Cuevas, Professor WWUniversity of BristolComputer Science 620,993
On-Sensor Computer VisionKelly, Professor PImperial College LondonComputing 1,404,122
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)Yoshida, Professor NUniversity of OxfordComputer Science 599,888
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
SONNETS: Scalability Oriented Novel Network of Event Triggered SystemsThomas, Professor DBUniversity of SouthamptonSch of Electronics and Computer Sci 6,467,613
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 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 ExascaleBetcke, Professor TUCLMathematics 764,866
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 DevelopmentKhakpour, Dr NNNewcastle UniversitySch of Computing 492,653
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentSchewe, Professor SUniversity of LiverpoolComputer Science 426,375
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

Total Number of Grants: 46
Total Value of Grants: £60,647,189

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