EPSRC logo
EPSRC Support by Research Area (Programming Languages and Compilers) in Theme (Information and Communication Technologies)

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. The number and value of grants listed below reflects how the theme portfolio is described by this research area.

Please note: some research areas will appear under multiple themes. There is no unique, absolute, relationship between a research area and a theme.

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
DIADEM: debugging made dependable and measurableKell, Dr S RKings College LondonInformatics 324,823
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
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 VisionKelly, Professor PImperial College LondonComputing 1,404,122
On-Sensor Computer VisionMayol-Cuevas, Professor WWUniversity of BristolComputer Science 620,993
On-Sensor Computer VisionDudek, Professor PUniversity of Manchester, TheElectrical and Electronic Engineering 1,327,360
ParaSol: Fine-Grained Thread-Level Parallelism for Single-Threaded PerformanceJones, Professor TMUniversity of CambridgeComputer Science and Technology 1,091,793
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
Session Types for Reliable Distributed Systems (STARDUST)Gay, Professor SJUniversity of GlasgowSchool of Computing Science 563,806
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
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
Transparent Compression for General-Purpose Programming LanguagesPirk, Dr HImperial College LondonComputing 293,360
Trustworthy Distributed Brain-inspired Systems: Theoretical Basis and Hardware ImplementationAlouani, Dr IQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 299,391
Uni-pi: safety, adaptability and resilience in distributed ecosystems, by constructionDardha, Dr OUniversity of GlasgowSchool of Computing Science 409,562

Total Number of Grants: 22
Total Value of Grants: £26,534,735

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