EPSRC logo
EPSRC Support by Research Topic in Fundamentals of Computing

We classify grants using one or more research topics. Value is the total value of the grants awarded, not the proportion assigned to different research topics, so it does not show the level of investment in different research areas.

Grant TitlePrincipal
Investigator
OrganisationDepartmentTotal Grant
Value (£)
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
A Population Approach to Ubicomp System DesignChalmers, Professor MUniversity of GlasgowSchool of Computing Science 3,253,414
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 - Imperial College LondonLupu, Dr ECImperial College LondonInstitute for Security Science and Tech 81,930
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRashid, Professor ALancaster UniversityComputing & Communications 81,803
Academic Centre of Excellence in Cyber Security Research - Newcastle Universityvan Moorsel, Professor ANewcastle UniversityComputing Sciences 40,556
Academic Centre of Excellence in Cyber Security Research - Newcastle UniversityGross, Dr TRNewcastle UniversityComputing Sciences 81,936
Academic Centre of Excellence in Cyber Security Research - Queen's University BelfastMcCanny, Professor 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 BirminghamRyan, Professor MUniversity of BirminghamSchool of Computer Science 40,058
Academic Centre of Excellence in Cyber Security Research - University of BristolSmart, Professor NUniversity of BristolComputer Science 36,205
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Laboratory 81,719
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Laboratory 39,455
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 KentBoiten, Professor EAUniversity of KentSch of Computing 19,854
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 20,185
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
Algebra and Logic for Policy and Utility in Information SecurityPym, Professor DUCLComputer Science 441,734
Algebra and Logic for Policy and Utility in Information SecurityMcCusker, Professor GUniversity of BathComputer Science 401,216
Algorithmic Aspects of Temporal GraphsMertzios, Dr GDurham, University ofEngineering and Computing Sciences 319,069
Algorithmic Aspects of Temporal GraphsSpirakis, Professor PUniversity of LiverpoolComputer Science 319,782
Algorithms that count: exploring the limits of tractabilityJerrum, Professor MQueen Mary, University of LondonSch of Mathematical Sciences 361,972
Analysing and Detecting Advanced Multi-stage Attacks against ICS (ADAMA)McLaughlin, Dr KQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 99,552
AnyScale ApplicationsSinger, Dr JUniversity of GlasgowSchool of Computing Science 1,166,422
App Collusion Detection (ACID)Chen, Professor TCity, University of LondonSch of Engineering and Mathematical Sci 174,970
App Collusion Detection (ACID)Roggenbach, Professor MSwansea UniversityCollege of Science 178,421
Bit Security of Learning with Errors for Post-Quantum Cryptography and Fully Homomorphic EncryptionAlbrecht, Dr MRoyal Holloway, Univ of LondonInformation Security 80,215
Border Patrol: Improving Smart Device Security through Type-Aware Systems DesignVanderbauwhede, Dr WUniversity of GlasgowSchool of Computing Science 1,765,760
Bristol/Bar-Ilan MPCSmart, Professor NUniversity of BristolComputer Science 200,707
C3: Scalable & Verified Shared Memory via Consistency-directed Cache CoherenceNagarajan, Dr VUniversity of EdinburghSch of Informatics 668,897
CamFort: Automated evolution and verification of computational science modelsRice, Dr ACUniversity of CambridgeComputer Laboratory 542,082
CCP Flagship: Quasiparticle Self-Consistent GW for Next-Generation Electronic Structurevan Schilfgaarde, Professor MKings College LondonPhysics 715,138
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
Coalgebraic Foundations of Semi-Structured DataKupke, Dr CUniversity of StrathclydeComputer and Information Sciences 99,423
Combining Qualitative and Quantitative Reasoning for Logic-based GamesWooldridge, Professor MUniversity of OxfordComputer Science 271,272
Combining Viewpoints in Quantum TheoryHeunen, Dr CUniversity of EdinburghSch of Informatics 298,236
Communicating and evaluating cyber risk and dependenciesBloomfield, Professor RCity, University of LondonCentre for Software Reliability 402,738
Compositional Higher-Order Model Checking: Logics, Models and AlgorithmsOng, Professor CHLUniversity of OxfordComputer Science 630,834
Compositional Security Analysis for BinariesKing, Professor AUniversity of KentSch of Computing 228,823
Computational Creativity TheoryColton, Professor SFalmouth UniversityGames Academy 438,505
Computing with Liquid MarblesAdamatzky, Professor AUniversity of the West of EnglandFaculty of Environment and Technology 727,811
Contextuality as a Resource in Quantum ComputationSeverini, Dr SUCLComputer Science 300,605
Contextuality as a Resource in Quantum ComputationAbramsky, Professor SUniversity of OxfordComputer Science 320,381
Conversation-Based Governance for Distributed Systems by Multiparty Session TypesYoshida, Professor NImperial College LondonDept of Computing 1,500,660
COOLER: COmpOsing LanguagE RuntimesTratt, Dr LKings College LondonInformatics 618,883
Counter Automata: Verification and SynthesisWorrell, Professor JBUniversity of OxfordComputer Science 241,539
Counter Automata: Verification and SynthesisLazic, Dr RUniversity of WarwickComputer Science 229,281
CRITiCaL - Combatting cRiminals In The CLoudGross, Dr TRNewcastle UniversityComputing Sciences 2,027,646
CSIT 2McCanny, Professor JVQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 5,032,504
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,489,111
DAASE: Dynamic Adaptive Automated Software EngineeringHarman, Professor MUCLComputer Science 6,834,903
Data Release - Trust, Identity, Privacy and SecurityJones, Professor MWSwansea UniversityCollege of Science 993,796
Data Release - Trust, Identity, Privacy and SecurityWang, Dr VUniversity of PortsmouthInstitute of Criminal Justice Studies 299,355
Declarative and Interoperable Overlay Networks, Applications to Systems of Systems (DIONASYS)Blair, Professor GLancaster UniversityComputing & Communications 341,850
Deep Online Cognition in Modular SoftwarePorter, Dr BLancaster UniversityComputing & Communications 98,562
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
Discovery: Pattern Discovery and Program Shaping for Heterogeneous Manycore SystemsCole, Dr MUniversity of EdinburghSch of Informatics 338,165
Discovery: Pattern Discovery and Program Shaping for Manycore SystemsHammond, Professor KUniversity of St AndrewsComputer Science 366,059
Diversity and Defence in Depth for Security - A Probabilistic Approach (D3S)Gashi, Dr ICity, University of LondonCentre for Software Reliability 563,089
ENergy Efficient Adaptive Computing with multi-grain heterogeneous architectures (ENEAC)Nunez-Yanez, Dr JUniversity of BristolElectrical and Electronic Engineering 567,204
Energy Efficient ControlMayr, Dr RMUniversity of EdinburghSch of Informatics 371,397
Energy Efficient ControlSchewe, Dr SUniversity of LiverpoolComputer Science 429,107
Enhancing Security Through Improved Cryptographic ReductionsMeiklejohn, Ms SUCLComputer Science 75,893
EPSRC Centre for Doctoral Training in Data ScienceSutton, Dr CUniversity of EdinburghSch of Informatics 4,726,271
EPSRC Centre for Doctoral Training in Delivering Quantum TechnologiesBrowne, Dr DEUCLLondon Centre for Nanotechnology 5,004,658
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,892,290
EPSRC-Royal Society fellowship engagement (2013): Probabilistic TerminationKiefer, Dr SUniversity of OxfordComputer Science 208,807
Event-based parallel computing - partially ordered event-triggered systems (POETS)Brown, Professor ADUniversity of SouthamptonElectronics and Computer Science 4,981,302
Exploiting Parallelism through Type Transformations for Hybrid Manycore SystemsVanderbauwhede, Dr WUniversity of GlasgowSchool of Computing Science 1,539,602
Fixed-parameter tractability for geometric optimization problemsGiannopoulos, Dr PMiddlesex UniversitySchool of Science and Technology 95,860
FORGING: Fortuitous Geometries and Compressive LearningKaban, Dr 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 Categories for Compositional Computer ScienceVicary, Dr JOUniversity of OxfordComputer Science 529,854
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
Improving Symbolic Execution via Targeted Program TransformationsCadar, Dr CImperial College LondonDept of Computing 286,470
IP-MATCH: Integer Programming for Large and Complex Matching ProblemsManlove, Dr DFUniversity 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
IRIS : Multi-Party ComputationSmart, Professor NUniversity of BristolComputer Science 70,471
Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto ImplementationsOswald, Dr MEUniversity of BristolComputer Science 1,150,814
LECTURE: LanguagE ComposiTion UnifiEdTratt, Dr LKings College LondonInformatics 953,405
Logical Relations for Program VerificationGhani, Professor NUniversity of StrathclydeComputer and Information Sciences 442,444
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringBarr, Dr EUCLComputer Science 337,411
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringSutton, Dr CUniversity of EdinburghSch of Informatics 306,726
Machine Learning, Robust Optimisation, and Verification: Creating Synergistic Capabilities in Cybersecurity ResearchHuth, Professor MRImperial College LondonDept of Computing 202,161
Manycore Research Innovation and Opportunities Network (MaRIONet)Singer, Dr JUniversity of GlasgowSchool of Computing Science 91,619
MathSoMac: the social machine of mathematicsMartin, Professor UHUniversity of OxfordComputer Science 1,146,391
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, Dr LRoyal Holloway, Univ of LondonInformation Security 747,777
Modelling and Optimisation with GraphsProsser, Dr PUniversity of GlasgowSchool of Computing Science 673,092
Multilinear Maps in CryptographyPaterson, Professor KGRoyal Holloway, Univ of LondonMathematics 519,992
Next generation pattern matchingClifford, Dr RUniversity of BristolComputer Science 941,287
Novel Methodology for predicting the Functional Effects of Genetic VariationCampbell, Dr IUniversity of BristolEngineering Mathematics 271,072
Open3D: Collaborative Editing for 3D Virtual WorldsSteed, Professor AUCLComputer Science 712,097
Oxford University Centre for Doctoral Training in Cyber SecurityMartin, Professor AUniversity of OxfordComputer Science 3,662,582
Perturbation Analysis for Probabilistic VerificationChen, Dr TMiddlesex UniversitySchool of Science and Technology 100,991
Pin the Tail: Understanding Straggler Manifestation in Internet-based Distributed SystemsGarraghan, Dr PLancaster UniversityComputing & Communications 96,599
Polytope methods in parameterized complexityWahlström, Dr M ARoyal Holloway, Univ of LondonComputer Science 100,848
Practical Data-intensive Secure Computation: a Data Structural ApproachDong, Dr CNewcastle UniversityComputing Sciences 357,256
Program Logics for Compositional Specification and Verification of Distributed SystemsSergey, Dr I IUCLComputer Science 101,009
QuTie: reasoning with Quantifiers and TheoriesVoronkov, Professor AUniversity of Manchester, TheComputer Science 359,372
Randomized Algorithms for Computer NetworksCooper, Professor CKings College LondonInformatics 312,174
Randomized algorithms for computer networksDyer, Professor MEUniversity of LeedsSch of Computing 146,167
Reachability problems for words, matrices and maps: Algorithms and ComplexityPotapov, Dr IUniversity of LiverpoolComputer Science 453,237
Recursion, guarded recursion and computational effectsLevy, Dr PBUniversity of BirminghamSchool of Computer Science 361,844
Reliable Many-Core ProgrammingDonaldson, Dr AFImperial College LondonDept of Computing 1,005,751
REMS: Rigorous Engineering for Mainstream SystemsSewell, Professor PMUniversity of CambridgeComputer Laboratory 5,575,635
Research Institute in Science of Cyber Security (RISCS) Phase 2Sasse, Professor MAUCLComputer Science 648,984
Research Institute in Verified Trustworthy Software Systems (VeTSS)Gardner, Professor PImperial College LondonDept of Computing 654,850
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
Robustness-as-evolvability: building a dynamic control plane with Software-Defined NetworkingAspinall, Professor DUniversity of EdinburghSch of Informatics 278,969
Robustness-as-evolvability: building a dynamic control plane with Software-Defined NetworkingNagaraja, Dr SLancaster UniversityComputing & Communications 345,908
RS Fellow - EPSRC grant (2014): Quantum computation as a programming languageStaton, Dr SUniversity of OxfordComputer Science 226,293
SANDeRS: Smart, Adaptive Compilation for Dark SiliconWang, Dr ZLancaster UniversityComputing & Communications 98,613
SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control SystemsRoberts, Professor CUniversity of BirminghamElectronic, Electrical and Computer Eng 395,222
SchedUling on heterogeneous Mobile Multicores based on quality of ExpeRienceLeather, Dr HUniversity of EdinburghSch of Informatics 101,027
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
Security by Design for Interconnected Critical InfrastructuresChana, Dr DImperial College LondonInstitute for Security Science and Tech 203,506
Self-repairing hardware paradigms based on astrocyte-neuron modelsMcDaid, Professor LJUniversity of UlsterSch of Computing & Intelligent Systems 375,835
Self-repairing Hardware Paradigms based on Astrocyte-neuron ModelsHalliday, Dr DUniversity of YorkElectronics 683,915
Semantic Types for Verified Program BehaviourLaird, Dr JUniversity of BathComputer Science 265,061
Solving Parity Games in Theory and PracticeJurdzinski, Dr MUniversity of WarwickComputer Science 347,959
Solving Parity Games in Theory and PracticeSchewe, Dr SUniversity of LiverpoolComputer Science 409,109
STRATA; Layers for Structuring Trustworthy Ambient SystemsRomanovsky, Professor ANewcastle UniversityComputing Sciences 965,298
Strengthening anonymity in messaging systemsDanezis, Dr GUCLComputer Science 175,975
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
SUCCESS -- SecUre aCCESSibility for the internet of thingsKammueller, Dr FMiddlesex UniversitySchool of Science and Technology 199,602
Synthetic Portabolomics: Leading the way at the crossroads of the Digital and the Bio EconomiesKrasnogor, Professor NNewcastle UniversityComputing Sciences 4,353,851
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
Taming ConcurrencyJones, Professor CBNewcastle UniversityComputing Sciences 643,519
The Integration and Interaction of Multiple Mathematical Reasoning ProcessesIreland, Professor AHeriot-Watt UniversityS of Mathematical and Computer Sciences 1,304,455
Time-sensitive protocol design and implementationBocchi, Dr LUniversity of KentSch of Computing 101,196
Towards comprehensive verification of stochastic systemsKiefer, Dr SUniversity of OxfordComputer Science 97,590
Trust and Security in NumbersSmart, Professor NUniversity of BristolComputer Science 1,509,984
Trusted and Transparent Voting SystemsSchneider, Professor SAUniversity of SurreyComputing Science 614,484
Trustworthy refactoringThompson, Professor SUniversity of KentSch of Computing 728,766
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsYoshida, Professor NImperial College LondonDept of Computing 863,741
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsChopra, Dr ALancaster UniversityComputing & Communications 686,507
Unified Stream and Transaction ProcessingMigliavacca, Dr MUniversity of KentSch of Computing 95,456
VAC+: Verifier of Access ControlFerrara, Dr AUniversity of SouthamptonElectronics and Computer Science 100,746
VADA: Value Added Data Systems -- Principles and ArchitectureGottlob, Professor GUniversity of OxfordComputer Science 4,557,635
Verifiable AutonomyVeres, Professor SMUniversity of SheffieldAutomatic Control and Systems Eng 439,585
Verifiable AutonomyWinfield, Professor AFTUniversity of the West of EnglandBristol Robotics Laboratory 340,338
Verifiable AutonomyFisher, Professor MUniversity of LiverpoolComputer Science 640,791
Verification of Concurrent and Higher-Order Recursive ProgramsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 469,677
Verification of cryptographic protocols: modular analysis of equivalence propertiesArapinis, Dr M DUniversity of EdinburghSch of Informatics 97,773
Verification of Linear Dynamical SystemsWorrell, Professor JBUniversity of OxfordComputer Science 1,005,506
Verification of Quantum TechnologyKashefi, Professor EUniversity of EdinburghSch of Informatics 1,237,804
Verification of Web-based Systems (VOWS)Popescu, Dr A AMiddlesex UniversitySchool of Science and Technology 100,933
Verifying concurrent algorithms on Weak Memory ModelsOwens, Dr SAUniversity of KentSch of Computing 285,988
Verifying concurrent algorithms on Weak Memory ModelsDerrick, Professor JUniversity of SheffieldComputer Science 389,207
Vulnerability Discovery using Abduction and InterpolationKing, Professor AUniversity of KentSch of Computing 199,130
Wearable and Autonomous Computing for Future Smart Cities: A Platform GrantBeeby, Professor SPUniversity of SouthamptonElectronics and Computer Science 1,431,420

Total Number of Grants: 166
Total Value of Grants: £136,431,297

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