EPSRC logo
EPSRC Support by Research Area (Theoretical Computer Science) 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 coalgebraic framework for reductive logic and proof-search (ReLiC)Pym, Professor DUCLComputer Science 974,936
A Constraint Modelling PipelineMiguel, Professor IJUniversity of St AndrewsComputer Science 886,923
A theory of type theoriesAhrens, Dr BUniversity of BirminghamSchool of Computer Science 261,609
Algorithmic Aspects of Temporal GraphsMertzios, Dr GDurham, University ofComputer Science 319,069
Algorithmic Aspects of Temporal GraphsSpirakis, Professor PUniversity of LiverpoolComputer Science 319,782
Algorithms for Computing with Uncertainty: Theory and ExperimentsErlebach, Professor TRUniversity of LeicesterComputer Science 401,205
ALGOUK - A Network for Algorithms and Complexity in the UKStewart, Professor IADurham, University ofComputer Science 108,682
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum CryptographyAlbrecht, Dr MRoyal Holloway, Univ of LondonInformation Security 379,964
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum CryptographyLing, Dr CImperial College LondonElectrical and Electronic Engineering 436,303
Circuits, Logic and SymmetryDawar, Professor AUniversity of CambridgeComputer Science and Technology 362,033
Combining Viewpoints in Quantum Theory (Ext.)Heunen, Dr CUniversity of EdinburghSch of Informatics 529,579
Compositional Higher-Order Model Checking: Logics, Models and AlgorithmsOng, Professor CHLUniversity of OxfordComputer Science 630,834
Computing with Liquid MarblesAdamatzky, Professor AUniversity of the West of EnglandFaculty of Environment and Technology 727,811
CSIT 2O'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 5,032,504
Customized and Adaptive approach for Optimal Cybersecurity InvestmentMalacaria, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 388,777
Customized and Adaptive approach for Optimal Cybersecurity InvestmentHankin, Professor CImperial College LondonInstitute for Security Science and Tech 386,129
Embedding Machine Learning within Quantifier Elimination ProceduresEngland, Dr MCoventry UniversityCtr for Fluid and Complex Systems 100,988
Enhanced Formal Reasoning for Algebraic Network TheoryZanasi, Dr FUCLComputer Science 100,613
Extension: MathSoMac: the social machine of mathematicsMartin, Professor UHUniversity of EdinburghSch of Informatics 911,629
FORGING: Fortuitous Geometries and Compressive LearningKaban, Professor AUniversity of BirminghamSchool of Computer Science 876,859
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
Holey Sampling: Topological Analysis of Sampling Patterns for Assessing Error in High-dimensional Quadraturesubr, Dr kUniversity of EdinburghSch of Informatics 100,964
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
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
IP-MATCH: Integer Programming for Large and Complex Matching ProblemsManlove, Professor DUniversity of GlasgowSchool of Computing Science 353,253
IP-MATCH: Integer Programming for Large and Complex Matching ProblemsGarcia Quiles, Dr SUniversity of EdinburghSch of Mathematics 448,386
Isogeny-based cryptography: from theory to practicePetit, Dr CUniversity of BirminghamSchool of Computer Science 327,745
Lattice-Based CryptographyAlbrecht, Dr MRoyal Holloway, Univ of LondonInformation Security 482,051
Manchester Centre for Doctoral Training in Computer ScienceFurber, Professor S BUniversity of Manchester, TheComputer Science 2,206,798
Mind the Gap: Unified Reasoning About Program Correctness and EfficiencyHutton, Professor GUniversity of NottinghamSchool of Computer Science 411,980
Modelling and Optimisation with GraphsProsser, Dr PUniversity of GlasgowSchool of Computing Science 673,092
Multilayer Algorithmics to Leverage Graph Structure (MultilayerALGS)Meeks, Dr KUniversity of GlasgowSchool of Computing Science 765,538
Practical Submodular Optimisation Beyond the Standard Greedy AlgorithmWard, Dr J DQueen Mary University of LondonSch of Mathematical Sciences 121,643
QuTie: reasoning with Quantifiers and TheoriesVoronkov, Professor AUniversity of Manchester, TheComputer Science 359,372
REMS: Rigorous Engineering for Mainstream SystemsSewell, Professor PMUniversity of CambridgeComputer Science and Technology 5,575,635
Resources and co-resources: a junction between semantics and descriptive complexityAbramsky, Professor SUniversity of OxfordComputer Science 400,336
Resources and co-resources: a junction between semantics and descriptive complexityDawar, Professor AUniversity of CambridgeComputer Science and Technology 399,683
Rigorous Runtime Analysis of Bio-Inspired ComputingOliveto, Dr PSUniversity of SheffieldComputer Science 1,266,592
Risk Measures for MDPsHan, Dr TBirkbeck CollegeComputer Science and Information Systems 101,113
Sampling in Hereditary ClassesJerrum, Professor MQueen Mary University of LondonSch of Mathematical Sciences 78,309
Sampling in Hereditary ClassesMuller, Dr HUniversity of LeedsSch of Computing 507,341
Science of Sensor System SoftwareCalder, Professor MUniversity of GlasgowSchool of Computing Science 4,183,694
Self-repairing Hardware Paradigms based on Astrocyte-neuron ModelsHalliday, Dr DUniversity of YorkElectronics 683,915
Solving Parity Games in Theory and PracticeSchewe, Professor SUniversity of LiverpoolComputer Science 409,109
Solving Parity Games in Theory and PracticeJurdzinski, Dr MUniversity of WarwickComputer Science 347,959
Spin Inspired RepresentationsStepney, Professor SUniversity of YorkComputer Science 507,656
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
Structure of Hereditary Graph Classes and Its Algorithmic ConsequencesVuskovic, Professor KUniversity of LeedsSch of Computing 570,417
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
The Complexity of Promise Constraint SatisfactionKrokhin, Professor ADurham, University ofComputer Science 441,210
The Integration and Interaction of Multiple Mathematical Reasoning ProcessesIreland, Professor AHeriot-Watt UniversityS of Mathematical and Computer Sciences 1,304,455
The next level of SAT solving for very hard problemsKullmann, Dr OSwansea UniversityCollege of Science 839,938
Theory and Applications of Dynamic AlgorithmsBhattacharya, Dr SUniversity of WarwickComputer Science 246,483
Typed Lambda-Calculi with Sharing and UnsharingHeijltjes, Dr W BUniversity of BathComputer Science 325,415
Understanding Information Leakage in Searchable EncryptionWarinschi, Professor BUniversity of BristolComputer Science 22,020
Verification of Linear Dynamical SystemsWorrell, Professor JBUniversity of OxfordComputer Science 1,005,506

Total Number of Grants: 58
Total Value of Grants: £51,353,667

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