EPSRC logo
EPSRC Support by Research Area in Verification and Correctness

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 (£)
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 NewcastleBriggs, Professor PNorthumbria, 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
AISEC: AI Secure and Explainable by ConstructionKomendantskaya, Professor EHeriot-Watt UniversityS of Mathematical and Computer Sciences 807,165
AISEC: AI Secure and Explainable by ConstructionAtkey, Dr RAUniversity of StrathclydeComputer and Information Sciences 348,439
AISEC: AI Secure and Explainable by ConstructionAspinall, Professor DUniversity of EdinburghSch of Informatics 670,675
An Abstraction-based Technique for Safe Reinforcement LearningBelardinelli, Dr FImperial College LondonComputing 302,082
Border Patrol: Improving Smart Device Security through Type-Aware Systems DesignVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,765,760
C6: Correct-by-Construction Heterogeneous CoherenceNagarajan, Dr VUniversity of EdinburghSch of Informatics 494,698
CaMELot: Catching and Mitigating Event-Loop Concurrency IssuesMarr, Dr SUniversity of KentSch of Computing 209,756
Capable VMsSinger, Dr JUniversity of GlasgowSchool of Computing Science 469,283
CapableVMsTratt, Professor LKings College LondonInformatics 837,189
CapC: Capability C semantics, tools and reasoningBatty, Professor MUniversity of KentSch of Computing 485,168
CAPS: Collaborative Architectures for Proof SearchReger, Dr GUniversity of Manchester, TheComputer Science 251,632
CITCoM: Casual Inference for Testing of Computational ModelsWalkinshaw, Dr NUniversity of SheffieldComputer Science 670,838
CloudCAP: Capability-based Isolation for Cloud Native ApplicationsPietzuch, Professor PRImperial College LondonComputing 879,242
CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical SystemsSoudjani, Dr SNewcastle UniversitySch of Computing 388,069
Computational Agent ResponsibilityFisher, Professor MUniversity of Manchester, TheComputer Science 642,185
COSTRA -- The Cost of Winning StrategiesTotzke, Dr PUniversity of LiverpoolComputer Science 349,044
Design and Verification of Time-Critical Byzantine Fault-Tolerant SystemsRahli, Dr VUniversity of BirminghamSchool of Computer Science 396,533
Digital Healthcare: A vehicle for capacity building in ICT skills and public engagementTerry, Professor JRUniversity of BirminghamSchool of Computer Science 170,511
Dijkstra's Pipe: Timing-Secure Processors by DesignNagarajan, Dr VUniversity of EdinburghSch of Informatics 535,239
EDGE - Adaptive Deep Learning Hardware for Embedded PlatformsZhai, Dr XUniversity of EssexComputer Sci and Electronic Engineering 232,166
Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded SystemsBrown, Dr CMUniversity of St AndrewsComputer Science 382,865
EnnCore: End-to-End Conceptual Guarding of Neural ArchitecturesCordeiro, Dr LCUniversity of Manchester, TheComputer Science 1,721,560
EPSRC Centre for Doctoral Training in Autonomous Intelligent Machines and SystemsOsborne, Dr M AUniversity of OxfordEngineering Science 5,303,924
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 High Performance Embedded and Distributed SystemsLuk, Professor WImperial College LondonComputing 4,099,016
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,276,736
Feedback and Optimisation for Well-behaved Anonymous Communication NetworksElahi, Dr MUniversity of EdinburghSch of Informatics 232,700
Hardware Security for Approximate ComputingGU, Dr CQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 298,063
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsMurawski, Dr AUniversity of OxfordComputer Science 409,019
Holistic Design of Secure Systems on Capability Hardware (HD-Sec)Butler, Professor MUniversity of SouthamptonSch of Electronics and Computer Sci 1,030,183
Human-machine learning of ambiguities to support safe, effective, and legal decision makingTamaddoni-Nezhad, Dr AUniversity of SurreyComputing Science 887,961
Imperative programs from proofsPowell, Dr T R JUniversity of BathComputer Science 311,440
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
IOTEE: Securing and analysing trusted execution beyond the CPUAtamli, Dr AUniversity of SouthamptonSch of Electronics and Computer Sci 457,328
IOTEE: Securing and analysing trusted execution beyond the CPUOswald, Dr D FUniversity of BirminghamSchool of Computer Science 448,286
Learning, Approximating and Minimising Streaming Automata for Large-scale OptimisationDaviaud, Dr LCity, University of LondonSch of Engineering and Mathematical Sci 249,527
M4Secure: Making Memory Management More SecureWang, Professor ZUniversity of LeedsSch of Computing 431,748
M4Secure: Making Memory Management More SecureSinger, Dr JUniversity of GlasgowSchool of Computing Science 457,857
MCPS-VeriSec: Model-based Security of Medical Cyber-Physical SystemsPaoletti, Dr NKings College LondonInformatics 424,397
NetPM: Co-designing Data Management and Networking Principles for Persistent MemoryHonda, Dr MUniversity of EdinburghSch of Informatics 391,902
New Techniques for Resolving Boundary Problems in Total SearchFearnley, Dr JUniversity of LiverpoolComputer Science 441,269
Paul Curzon - Public Engagement Champion via CS4FNCurzon, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 162,605
POST: Protocols, Observabilities and Session TypesYoshida, Professor NUniversity of OxfordComputer Science 1,243,069
Quantitative verification of software families based on coalgebraic modal logic and gamesBeohar, Dr HUniversity of SheffieldComputer Science 235,841
Quantum Enhanced and Verified Exascale Computing - QEVECKendon, Professor VMUniversity of StrathclydePhysics 1,007,642
Realistic fault modelling to enable optimization of low power IoT and Cognitive fault-tolerant computing systemsZhang, Professor JFLiverpool John Moores UniversitySchool of Engineering 487,200
Realistic fault modelling to enable optimization of low power IoT and Cognitive fault-tolerant computing systemsAsenov, Professor AUniversity of GlasgowSchool of Engineering 446,241
Reliable and Robust Quantum ComputingLinden, Professor NUniversity of BristolMathematics 65,255
Reliable and Robust Quantum ComputingMelham, Professor TUniversity of OxfordComputer Science 2,227,394
Reliable and Robust Quantum ComputingKelly, Professor PImperial College LondonComputing 70,209
Reliable and Robust Quantum ComputingBrowne, Professor DUCLPhysics and Astronomy 57,063
RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous RobotsCavalcanti, Professor ALCUniversity of YorkComputer Science 1,166,973
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous RobotsHierons, Professor RUniversity of SheffieldComputer Science 575,877
Robotics & Autonomous Systems: EPSRC UK-RAS NetworkRodriguez y Baena, Professor FMImperial College LondonComputing 871,055
SACRED-MA: Safe And seCure REmote Direct Memory AccessRaad, Dr AImperial College LondonComputing 452,577
SACRED-MA: Safe And seCure REmote Direct Memory AccessDongol, Dr BUniversity of SurreyComputing Science 466,480
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Batty, Professor MUniversity of KentSch of Computing 374,699
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Dongol, Dr BUniversity of SurreyComputing Science 416,971
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Derrick, Professor JUniversity of SheffieldComputer Science 422,585
Satisficing Trust in Human Robot TeamsBaber, Professor CUniversity of BirminghamSchool of Computer Science 1,218,852
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
SECCOM: Securing composable hardware platformsGoodacre, Professor JUniversity of Manchester, TheComputer Science 789,633
Session Types for Reliable Distributed Systems (STARDUST)Gay, Professor SJUniversity of GlasgowSchool of Computing Science 563,806
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NUniversity of OxfordComputer Science 599,888
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)Groen, Dr DBrunel University LondonComputer Science 287,922
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)Coveney, Professor PUCLChemistry 728,470
Solver Feedback Loops for Automated Constraint ModellingNightingale, Dr PWUniversity of YorkComputer Science 307,728
SPRITE+ 2: The Security, Privacy, Identity and Trust Engagement Networkplus (phase 2).Elliot, Professor MJUniversity of Manchester, TheSocial Sciences 2,652,185
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentKhakpour, Dr NNewcastle UniversitySch of Computing 492,653
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentSchewe, Professor SUniversity of LiverpoolComputer Science 426,375
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsChopra, Dr ALancaster UniversityComputing & Communications 686,507
Twenty20InsightHe, Professor YKings College LondonInformatics 90,127
Twenty20InsightBencomo, Dr NDurham, University ofComputer Science 390,864
Two-way automata: limitations and frontiersChistikov, Dr DUniversity of WarwickComputer Science 280,432
UK-Australia Centre in a Secure Internet of Energy: Supporting Electric Vehicle Infrastructure at the "Edge" of the GridRanjan, Professor RNewcastle UniversitySch of Computing 1,511,081
UKRI Centre for Doctoral Training in Safe and Trusted Artificial IntelligenceBlack, Dr EKings College LondonInformatics 6,898,907
UKRI Trustworthy Autonomous Systems Node in FunctionalityWindsor, Dr SUniversity of BristolAerospace Engineering 3,315,004
UKRI Trustworthy Autonomous Systems Node in SecuritySuri, Professor NLancaster UniversityComputing & Communications 3,011,796
UKRI Trustworthy Autonomous Systems Node in VerifiabilityMousavi, Professor MKings College LondonInformatics 2,621,150
UniFaaS: A Unikernel-Based Serverless Operating SystemOlivier, Dr PUniversity of Manchester, TheComputer Science 267,264
Uni-pi: safety, adaptability and resilience in distributed ecosystems, by constructionDardha, Dr OUniversity of GlasgowSchool of Computing Science 409,562
User-controlled hardware security anchors: evaluation and designsRyan, Professor MUniversity of BirminghamSchool of Computer Science 486,082
Verifiably Correct Swarm AttestationDongol, Dr BUniversity of SurreyComputing Science 514,155
Verification of Hardware Concurrency via Model Learning (CLeVer)Silva, Professor AUCLComputer Science 692,958
Verifying Resource-like Data Use in Programs via TypesOrchard, Dr DAUniversity of KentSch of Computing 229,328
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 109
Total Value of Grants: £102,112,425

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