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 (£)
A correct-by-construction approach to approximate computationMardare, Professor RUniversity of StrathclydeComputer and Information Sciences 692,875
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleBriggs, Professor PNorthumbria, University ofFac of Health and Life Sciences 48,574
AISEC: AI Secure and Explainable by ConstructionAspinall, Professor DUniversity of EdinburghSch of Informatics 670,675
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
An Abstraction-based Technique for Safe Reinforcement LearningBelardinelli, Dr FImperial College LondonComputing 302,082
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
CITCoM: Casual Inference for Testing of Computational ModelsWalkinshaw, Dr NUniversity of SheffieldComputer Science 670,838
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 MAUniversity of OxfordEngineering Science 5,531,426
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 6,322,951
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 6,061,028
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,519,218
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, Professor 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 ComputingKelly, Professor PImperial College LondonComputing 70,209
Reliable and Robust Quantum ComputingBrowne, Professor DUCLPhysics and Astronomy 57,063
Reliable and Robust Quantum ComputingMelham, Professor TUniversity of OxfordComputer Science 2,227,394
RESICS:Resilience and Safety to attacks in ICS and CPSLupu, Professor ECImperial College LondonComputing 919,122
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
SACRED-MA: Safe And seCure REmote Direct Memory AccessRaad, Dr AImperial College LondonComputing 452,577
SACRED-MA: Safe And seCure REmote Direct Memory AccessDongol, Professor 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, Professor 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
Secure Smart Contracts with Isabelle/SolidityMarmsoler, Dr DUniversity of ExeterComputer Science 247,844
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NUniversity of OxfordComputer Science 599,888
Session Types for Reliable Distributed Systems (STARDUST)Gay, Professor SJUniversity of GlasgowSchool of Computing Science 563,806
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
TROCI: Towards Resilient Operation of Critical Infrastructures - application to water and energy systemsAhmed, Dr HUniversity of SheffieldNuclear AMRC 295,163
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentSchewe, Professor SUniversity of LiverpoolComputer Science 426,375
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentKhakpour, Dr NNNewcastle UniversitySch of Computing 492,653
TrustVote: Dispute-resolution mechanisms and systems for Private and Verifiable VotingDragan, Dr CCUniversity of SurreyComputing Science 375,666
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 7,135,274
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, Professor BUniversity of SurreyComputing Science 514,155
Verification of Hardware Concurrency via Model Learning (CLeVer)Silva, Professor AUCLComputer Science 692,958
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 89
Total Value of Grants: £99,846,365

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