EPSRC logo
EPSRC Support by Research Area (Logic and Combinatorics) 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
Beyond One Solution in Combinatorial OptimisationMeeks, Dr KUniversity of GlasgowSchool of Computing Science 1,363,670
Boolean functions with optimal stability of their cryptographic indicators under restriction of the inputsSalagean, Dr AmLoughborough UniversityComputer Science 335,434
Imperative programs from proofsPowell, Dr T R JUniversity of BathComputer Science 311,440
Multilayer Algorithmics to Leverage Graph Structure (MultilayerALGS)Meeks, Dr KUniversity of GlasgowSchool of Computing Science 765,538
PKC-Sec: Security Analysis of Classical and Post-Quantum Public Key Cryptography AssumptionsGranger, Dr RUniversity of SurreyComputing Science 297,923
Promise Constraint Satisfaction Problem: Structure and ComplexityKrokhin, Professor ADurham, University ofComputer Science 1,385,237
Query EvaluationChen, Dr HKings College LondonInformatics 475,688

Total Number of Grants: 8
Total Value of Grants: £5,503,484

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