EPSRC logo
EPSRC Support by Research Area in Theoretical Computer Science

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 coalgebraic framework for reductive logic and proof-search (ReLiC)Pym, Professor DUCLComputer Science 974,936
Academic Centre of Excellence in Cyber Security Research - [Royal Holloway University of London]Markantonakis, Professor KRoyal Holloway, Univ of LondonInformation Security 78,117
Academic Centre of Excellence in Cyber Security Research - Cardiff UniversityBurnap, Professor PCardiff UniversityComputer Science 64,898
Academic Centre of Excellence in Cyber Security Research - De Montfort UniversityBoiten, Professor EADe Montfort UniversityComputer Technology 48,741
Academic Centre of Excellence in Cyber Security Research - Imperial College LondonLupu, Professor ECImperial College LondonInstitute for Security Science and Tech 81,930
Academic Centre of Excellence in Cyber Security Research - King's College LondonSuch, Professor JMKings College LondonInformatics 63,961
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRace, Professor NLancaster UniversityComputing & Communications 81,803
Academic Centre of Excellence in Cyber Security Research - Newcastle UniversityGross, Dr TRNewcastle UniversitySch of Computing 81,936
Academic Centre of Excellence in Cyber Security Research - Queen's University BelfastO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 81,965
Academic Centre of Excellence in Cyber Security Research - University College LondonDe Cristofaro, Professor EUCLComputer Science 81,904
Academic Centre of Excellence in Cyber Security Research - University of BirminghamRyan, Professor MUniversity of BirminghamSchool of Computer Science 81,162
Academic Centre of Excellence in Cyber Security Research - University of BristolPage, Dr DUniversity of BristolComputer Science 36,205
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Science and Technology 81,719
Academic Centre of Excellence in Cyber Security Research - University of EdinburghAspinall, Professor DUniversity of EdinburghSch of Informatics 81,715
Academic Centre of Excellence in Cyber Security Research - University of KentLi, Professor SUniversity of KentSch of Computing 64,602
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleCoventry, Professor LNorthumbria, University ofFac of Health and Life Sciences 48,574
Academic Centre of Excellence in Cyber Security Research - University of OxfordMartin, Professor AUniversity of OxfordComputer Science 81,931
Academic Centre of Excellence in Cyber Security Research - University of SouthamptonSassone, Professor VUniversity of SouthamptonSch of Electronics and Computer Sci 81,867
Academic Centre of Excellence in Cyber Security Research - University of SurreySchneider, Professor SAUniversity of SurreyComputing Science 81,966
Academic Centre of Excellence in Cyber Security Research - University of WarwickMaple, Professor CUniversity of WarwickWMG 81,965
Algebraic complexity theory via the algebraic geometry and representation theory of generalised continued fractionsIkenmeyer, Dr CUniversity of LiverpoolComputer Science 344,477
Algebraic spline geometry: towards algorithmic shape representationVillamizar, Dr NSwansea UniversityCollege of Science 307,189
Algorithms for Computing with Uncertainty: Theory and ExperimentsErlebach, Professor TRDurham, University ofComputer Science 191,339
Algorithms, Dynamics and Connections with Phase TransitionsEfthymiou, Dr CUniversity of WarwickComputer Science 309,801
Asynchronous Scientific Continuous Computations Exploiting Disaggregation (ASCCED)Vandierendonck, Professor HTKQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 202,213
Below the Branches of Universal TreesSchewe, Professor SUniversity of LiverpoolComputer Science 202,160
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 ALoughborough UniversityComputer Science 335,434
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum CryptographyLing, Dr CImperial College LondonElectrical and Electronic Engineering 436,303
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum CryptographyAlbrecht, Professor MRoyal Holloway, Univ of LondonInformation Security 379,964
CapC: Capability C semantics, tools and reasoningBatty, Professor MUniversity of KentSch of Computing 485,168
CAPcelerate: Capabilities for Heterogeneous AcceleratorsJones, Dr TMUniversity of CambridgeComputer Science and Technology 1,199,866
Centre for Doctoral Training in Cyber Security at Royal Holloway: Renewal of the CS-CDT at RHULMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 3,472,713
Centre for Spatial Computational LearningConstantinides, Professor GAImperial College LondonElectrical and Electronic Engineering 1,211,769
Circuits, Logic and SymmetryDawar, Professor AUniversity of CambridgeComputer Science and Technology 362,033
CloudCAP: Capability-based Isolation for Cloud Native ApplicationsPietzuch, Professor PRImperial College LondonComputing 879,242
Cohomology, Machine Learning and String Model BuildingConstantin, Dr AUniversity of OxfordOxford Physics 435,734
Combining Viewpoints in Quantum Theory (Ext.)Heunen, Dr CUniversity of EdinburghSch of Informatics 529,579
Computing with proteionidsAdamatzky, Professor AUniversity of the West of EnglandFaculty of Environment and Technology 701,011
COSTRA -- The Cost of Winning StrategiesTotzke, Dr PUniversity of LiverpoolComputer Science 349,044
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,553,438
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
Design and Verification of Time-Critical Byzantine Fault-Tolerant SystemsRahli, Dr VUniversity of BirminghamSchool of Computer Science 396,533
Edge Computing Resource Allocation for Dynamic NetworksAthanasopoulos, Dr NQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 254,305
Efficient Spectral Algorithms for Massive and Dynamic GraphsSun, Dr HUniversity of EdinburghSch of Informatics 1,205,706
End to End Authentication of Caller ID in Heterogeneous Telephony SystemsHao, Professor FUniversity of WarwickComputer Science 901,040
EPSRC Centre for Doctoral Training in Cloud Computing for Big DataWatson, Professor PNewcastle UniversitySch of Computing 3,523,116
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 6,003,076
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 5,771,944
EPSRC Centre for Doctoral Training in Data ScienceStorkey, Professor AJUniversity of EdinburghSch of Informatics 4,746,532
EPSRC Centre for Doctoral Training in Delivering Quantum TechnologiesWarburton, Professor PAUCLLondon Centre for Nanotechnology 5,051,006
EPSRC Centre for Doctoral Training in Distributed Algorithms: the what, how and where of next-generation data scienceMaskell, Professor SUniversity of LiverpoolElectrical Engineering and Electronics 4,721,772
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,937,632
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,265,686
Establishing Electrically Programmable Reaction Arrays as Universal Chemical ComputersCronin, Professor LUniversity of GlasgowSchool of Chemistry 733,213
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
Foundations of the Finite Model Theory of ConcatenationFreydenberger, Dr DDLoughborough UniversityComputer Science 397,698
Higher Algebra and Quantum ProtocolsDouglas, Dr CUniversity of OxfordMathematical Institute 494,701
Higher Algebra and Quantum ProtocolsVicary, Dr JOUniversity of CambridgeComputer Science and Technology 234,355
Integrated Simulation at the Exascale: coupling, synthesis and performanceBetcke, Professor TUCLMathematics 304,731
Integrated Simulation at the Exascale: coupling, synthesis and performanceWells, Professor GNUniversity of CambridgeEngineering 630,806
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
Inverse design of periodic crystalsKurlin, Dr VUniversity of LiverpoolComputer Science 202,213
IOSEC - Protection and Memory Safety for Input/Output SecurityWatson, Dr R N MUniversity of CambridgeComputer Science and Technology 511,891
Lattice-Based CryptographyAlbrecht, Professor MRoyal Holloway, Univ of LondonInformation Security 482,051
Learned Exascale Computational Imaging (LEXCI)McEwen, Professor JUCLMullard Space Science Laboratory 972,421
Learned Exascale Computational Imaging (LEXCI)Pereyra, Dr MHeriot-Watt UniversityS of Mathematical and Computer Sciences 40,274
Making Systems Answer: Dialogical Design as a Bridge for Responsibility Gaps in Trustworthy Autonomous SystemsVallor, Professor SUniversity of EdinburghSch of Philosophy Psychology & Language 559,682
Multilayer Algorithmics to Leverage Graph Structure (MultilayerALGS)Meeks, Dr KUniversity of GlasgowSchool of Computing Science 765,538
New directions in AMD codes over Galois fields and related structuresHuczynska, Dr SUniversity of St AndrewsMathematics and Statistics 33,422
New Frontiers in Parameterizing Away from TrivialityMaadapuzhi Sridharan, Dr RUniversity of WarwickComputer Science 264,598
New Horizons in Multivariate Preprocessing (MULTIPROCESS)Maadapuzhi Sridharan, Dr RUniversity of WarwickComputer Science 545,674
New Techniques for Resolving Boundary Problems in Total SearchFearnley, Dr JUniversity of LiverpoolComputer Science 441,269
Next Generation of Algorithms for Mixed Integer Linear Programming (MILP)Ordyniak, Dr SUniversity of LeedsSch of Computing 215,869
Nominal String DiagramsGhica, Professor DRUniversity of BirminghamSchool of Computer Science 429,879
Nominal String DiagramsZanasi, Dr FUCLComputer Science 429,666
PKC-Sec: Security Analysis of Classical and Post-Quantum Public Key Cryptography AssumptionsGranger, Dr RUniversity of SurreyComputing Science 297,923
POST: Protocols, Observabilities and Session TypesYoshida, Professor NImperial College LondonComputing 1,462,802
Post-Quantum Cryptography: a Cryptanalysis ApproachPetit, Dr CUniversity of BirminghamSchool of Computer Science 1,663,949
Property Testing for Quantum Engineering (ProTeQE)Datta, Dr AUniversity of WarwickPhysics 202,437
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic DecompositionEngland, Dr MCoventry UniversityCtr for Fluid and Complex Systems 421,951
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic DecompositionDavenport, Professor JHUniversity of BathComputer Science 505,757
Quantum Enhanced and Verified Exascale Computing - QEVECKendon, Professor VMUniversity of StrathclydePhysics 1,007,642
Query EvaluationChen, Dr HKings College LondonInformatics 475,688
REPHRAIN: Research centre on Privacy, Harm Reduction and Adversarial Influence onlineRashid, Professor AUniversity of BristolComputer Science 6,972,599
Resources and co-resources: a junction between semantics and descriptive complexityAbramsky, Professor SUCLComputer Science 195,571
Resources and co-resources: a junction between semantics and descriptive complexityDawar, Professor AUniversity of CambridgeComputer Science and Technology 399,683
Resources in ComputationAbramsky, Professor SUCLComputer Science 1,792,395
Revolutionising Operational Safety and Economy for High-value Infrastructure using Population-based SHM (ROSEHIPS)Worden, Professor KUniversity of SheffieldMechanical Engineering 6,326,800
SAIS: Secure AI assistantSLomuscio, Professor ARImperial College LondonComputing 396,174
SAIS: Secure AI assistantSSuch, Professor JMKings College LondonInformatics 1,155,316
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
SCorCH : Secure Code for Capability HardwareMelham, Professor TUniversity of OxfordComputer Science 312,916
SCorCH: Secure Code for Capability HardwareReger, Dr GUniversity of Manchester, TheComputer Science 1,034,990
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)Coveney, Professor PUCLChemistry 728,470
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)Groen, Dr DBrunel University LondonComputer Science 287,922
Solver Feedback Loops for Automated Constraint ModellingNightingale, Dr PWUniversity of YorkComputer Science 307,728
SPRITE+: The Security, Privacy, Identity, and Trust Engagement NetworkPlusBarrett, Professor EUniversity of Manchester, TheSocial Sciences 1,386,196
StreamDG: Streaming Processing of Massive Dynamic GraphsKonrad, Dr CUniversity of BristolComputer Science 248,776
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
The next level of SAT solving for very hard problemsKullmann, Dr OSwansea UniversityCollege of Science 839,938
Theoretical Foundations of Modern Parallel and Distributed AlgorithmsCzumaj, Professor AUniversity of WarwickComputer Science 552,577
Theory and Applications of Dynamic AlgorithmsBhattacharya, Dr SUniversity of WarwickComputer Science 246,483
Towards a physical theory of computer science.Chu, Dr DUniversity of KentSch of Computing 49,181
Turing AI Fellowship: Rigorous time-complexity analysis of co-evolutionary algorithmsLehre, Dr PUniversity of BirminghamSchool of Computer Science 1,254,385
Untargeted Attacks in (Password-Based) CryptographyFarshim, Dr PDurham, University ofComputer Science 265,225
User-controlled hardware security anchors: evaluation and designsRyan, Professor MUniversity of BirminghamSchool of Computer Science 486,082
Using Robust Graph Clustering to Detect Fake NewsMallmann-Trenn, Dr FKings College LondonInformatics 295,373
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 112
Total Value of Grants: £118,098,415

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