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
Abstraction-Level Energy Accounting and Optimisation in Many-core Programming LanguagesNikolopoulos, Professor DQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 661,061
Academic Centre of Excellence in Cyber Security Research - University of KentBoiten, Dr EAUniversity of KentSch of Computing 19,854
Academic Centre of Excellence in Cyber Security Research - University of SurreySchneider, Professor SAUniversity of SurreyComputing Science 20,185
Adaptive Just-In-Time Parallelisation (AJITPar)Trinder, Professor PUniversity of GlasgowSchool of Computing Science 442,468
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
CloudSafetyNet: End-to-End Application Security in the CloudPietzuch, Dr PRImperial College LondonDept of Computing 524,118
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
COOLER: COmpOsing LanguagE RuntimesTratt, Dr LKings College LondonInformatics 618,883
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
Future-proof massively-parallel execution of multi-block applicationsMcIntosh-Smith, Professor SUniversity of BristolComputer Science 270,618
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
Homotopy Type Theory: Programming and VerificationGambino, Dr NUniversity of LeedsPure Mathematics 93,134
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, Dr 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
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 I IUCLComputer Science 101,009
ProofPeer: Collaborative Theorem ProvingFleuriot, Dr JUniversity of EdinburghSch of Informatics 522,808
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 BirminghamSchool of Computer Science 99,362
Statistical Natural Language Processing Methods for Computer Program Source CodeSutton, Dr CUniversity of EdinburghSch of Informatics 375,602
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
Type-driven Verification of Communicating SystemsBrady, Dr ECUniversity of St AndrewsComputer Science 93,995
VADA: Value Added Data Systems -- Principles and ArchitectureGottlob, Professor GUniversity of OxfordComputer Science 4,557,635
Verifiably correct high-performance concurrency libraries for multi-core computing systemsDongol, Dr BBrunel University LondonComputer Science 98,219
Verification of resource-bounded multi-agent systemsRaimondi, Dr FMiddlesex UniversitySchool of Science and Technology 31,421
Verification of resource-bounded multi-agent systems (VRBMAS)Alechina, Dr NUniversity of NottinghamSchool of Computer Science 280,864
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: 64
Total Value of Grants: £63,401,620

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