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
A compositional approach to game-theoretic economic modellingHedges, Mr JUniversity of OxfordComputer Science 259,304
A Constraint Modelling PipelineMiguel, Professor IJUniversity of St AndrewsComputer Science 886,923
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 - 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, Dr J MKings College LondonInformatics 63,961
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRoedig, Professor ULancaster 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 BelfastMcCanny, Professor Sir JVQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 81,965
Academic Centre of Excellence in Cyber Security Research - University College LondonGroth, Professor JUCLComputer 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 OxfordMartin, Professor AUniversity of OxfordComputer Science 81,931
Academic Centre of Excellence in Cyber Security Research - University of SouthamptonSassone, Professor VUniversity of SouthamptonElectronics and Computer Science 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
Ahead of the Curve: Engineering Simulation for Computers of the FutureLind, Dr S JUniversity of Manchester, TheMechanical Aerospace and Civil Eng 238,137
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 on rank aggregation for preference orderingsLin, Dr ZUniversity of UlsterSch of Computing & Mathematical Sci 100,781
Algorithms that count: exploring the limits of tractabilityJerrum, Professor MQueen Mary University of LondonSch of Mathematical Sciences 361,972
ALGOUK - A Network for Algorithms and Complexity in the UKStewart, Professor IADurham, University ofComputer Science 108,682
Bit Security of Learning with Errors for Post-Quantum Cryptography and Fully Homomorphic EncryptionAlbrecht, Dr MRoyal Holloway, Univ of LondonInformation Security 80,215
Centre for Doctoral Training in Cyber Security at Royal HollowayCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,793,546
Centre for Doctoral Training in Cyber Security at Royal Holloway: Renewal of the CS-CDT at RHULCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,454,896
Combining Viewpoints in Quantum TheoryHeunen, Dr CUniversity of EdinburghSch of Informatics 298,236
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
Contextuality as a Resource in Quantum ComputationAbramsky, Professor SUniversity of OxfordComputer Science 320,381
Contextuality as a Resource in Quantum ComputationSeverini, Professor SUCLComputer Science 300,605
CRITiCaL - Combatting cRiminals In The CLoudGross, Dr TRNewcastle UniversitySch of Computing 2,027,646
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 InvestmentHankin, Professor CImperial College LondonInstitute for Security Science and Tech 386,129
Customized and Adaptive approach for Optimal Cybersecurity InvestmentMalacaria, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 388,777
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,489,711
DATA-CENTRIC: Developing AccounTAble Computational ENgineering Through Robust InferenCeDiaz De la O, Dr FUniversity of LiverpoolCivil Engineering and Industrial Design 387,228
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
Embedding Machine Learning within Quantifier Elimination ProceduresEngland, Dr MCoventry UniversityCtr for Flow Measure & Fluid Mechanics 100,988
Energy Efficient ControlSchewe, Professor SUniversity of LiverpoolComputer Science 429,107
Energy Efficient ControlMayr, Dr RMUniversity of EdinburghSch of Informatics 371,397
Enhanced Formal Reasoning for Algebraic Network TheoryZanasi, Dr FUCLComputer Science 100,613
EPSRC Centre for Doctoral Training in Cloud Computing for Big DataWatson, Professor PNewcastle UniversitySch of Computing 3,503,438
EPSRC Centre for Doctoral Training in Data ScienceStorkey, Professor AJUniversity of EdinburghSch of Informatics 4,726,271
EPSRC Centre for Doctoral Training in Delivering Quantum TechnologiesBrowne, Professor DUCLLondon Centre for Nanotechnology 5,004,658
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,892,290
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
Framework for Computational PersuasionHunter, Professor AUCLComputer Science 556,693
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
Glass Houses: Transparency and Privacy in Information EconomiesMeiklejohn, Ms SUCLComputer Science 969,096
Higher Algebra and Quantum ProtocolsDouglas, Dr CUniversity of OxfordMathematical Institute 494,701
Higher Algebra and Quantum ProtocolsVicary, Dr JOUniversity of BirminghamSchool of Computer Science 337,112
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 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
Hybrid quantum and classical computation: exploiting the best of both paradigmsKendon, Dr VMDurham, University ofPhysics 1,047,712
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
IOSEC - Protection and Memory Safety for Input/Output SecurityWatson, Dr R N MUniversity of CambridgeComputer Science and Technology 511,891
IP-MATCH: Integer Programming for Large and Complex Matching ProblemsGarcia Quiles, Dr SUniversity of EdinburghSch of Mathematics 448,386
IP-MATCH: Integer Programming for Large and Complex Matching ProblemsManlove, Dr DFUniversity of GlasgowSchool of Computing Science 353,253
Isogeny-based cryptography: from theory to practicePetit, Dr CUniversity of BirminghamSchool of Computer Science 327,745
Machine Learning, Robust Optimisation, and Verification: Creating Synergistic Capabilities in Cybersecurity ResearchHuth, Professor MRImperial College LondonDept of Computing 202,161
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
MobSec: Malware and Security in the Mobile AgeCavallaro, Professor LRoyal Holloway, Univ of LondonInformation Security 747,777
Modelling and Optimisation with GraphsProsser, Dr PUniversity of GlasgowSchool of Computing Science 673,092
New insights in quantum algorithms and complexityMontanaro, Dr AUniversity of BristolMathematics 841,259
Next generation pattern matchingClifford, Dr RUniversity of BristolComputer Science 941,287
Oxford University Centre for Doctoral Training in Cyber SecurityMartin, Professor AUniversity of OxfordComputer Science 3,662,582
Perturbation Analysis for Probabilistic VerificationChen, Dr TBirkbeck CollegeComputer Science and Information Systems 85,032
QuTie: reasoning with Quantifiers and TheoriesVoronkov, Professor AUniversity of Manchester, TheComputer Science 359,372
Reachability problems for words, matrices and maps: Algorithms and ComplexityPotapov, Professor IUniversity of LiverpoolComputer Science 453,237
REMS: Rigorous Engineering for Mainstream SystemsSewell, Professor PMUniversity of CambridgeComputer Science and Technology 5,575,635
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
Security and Privacy in Smart Grid Systems: Countermeasure and Formal VerificationMartin, Professor AUniversity of OxfordComputer Science 202,914
Self-repairing Hardware Paradigms based on Astrocyte-neuron ModelsHalliday, Dr DUniversity of YorkElectronics 683,915
Self-repairing hardware paradigms based on astrocyte-neuron modelsMcDaid, Professor LJUniversity of UlsterSch of Computing & Intelligent Systems 375,835
Semantic Foundations for Interactive ProgramsKrishnaswami, Dr NUniversity of CambridgeComputer Science and Technology 96,282
Solving Parity Games in Theory and PracticeJurdzinski, Dr MUniversity of WarwickComputer Science 347,959
Solving Parity Games in Theory and PracticeSchewe, Professor SUniversity of LiverpoolComputer Science 409,109
Spin Inspired RepresentationsStepney, Professor SUniversity of YorkComputer Science 507,656
Structure of Hereditary Graph Classes and Its Algorithmic ConsequencesVuskovic, Professor KUniversity of LeedsSch of Computing 570,417
Sublinear Algorithms for Big GraphsCzumaj, Professor AUniversity of WarwickComputer Science 490,032
System-Level Game Semantics: A unifying framework for composing systemsTzevelekos, Dr NQueen Mary University of LondonSch of Electronic Eng & Computer Science 326,972
System-Level Game Semantics: A unifying framework for composing systemsGhica, Dr DRUniversity of BirminghamSchool of Computer Science 334,312
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
Towards Explainable and Robust Statistical AI: A Symbolic ApproachBelle, Dr VUniversity of EdinburghSch of Informatics 100,740
Trusted and Transparent Voting SystemsSchneider, Professor SAUniversity of SurreyComputing Science 614,484
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
User-controlled hardware security anchors: evaluation and designsRyan, Professor MUniversity of BirminghamSchool of Computer Science 486,082
Verification of Linear Dynamical SystemsWorrell, Professor JBUniversity of OxfordComputer Science 1,005,506
Vulnerability Discovery using Abduction and InterpolationKing, Professor AUniversity of KentSch of Computing 199,130

Total Number of Grants: 105
Total Value of Grants: £95,623,345

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