EPSRC logo
EPSRC Support by Research Area (Verification and Correctness) in Theme (Information and Communication Technologies)

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. The number and value of grants listed below reflects how the theme portfolio is described by this research area.

Please note: some research areas will appear under multiple themes. There is no unique, absolute, relationship between a research area and a theme.

Grant TitlePrincipal
Investigator		OrganisationDepartmentTotal Grant
Value (£)
A correct-by-construction approach to approximate computationMardare, Professor RUniversity of StrathclydeComputer and Information Sciences 692,875
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
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
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
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
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
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
Learning, Approximating and Minimising Streaming Automata for Large-scale OptimisationDaviaud, Dr LCity, University of LondonSch of Engineering and Mathematical Sci 249,527
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
Realistic fault modelling to enable optimization of low power IoT and Cognitive fault-tolerant computing systemsAsenov, Professor AUniversity of GlasgowSchool of Engineering 446,241
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
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
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)Batty, Professor MUniversity of KentSch of Computing 374,699
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Derrick, Professor JUniversity of SheffieldComputer Science 422,585
Secure Smart Contracts with Isabelle/SolidityMarmsoler, Dr DUniversity of ExeterComputer Science 247,844
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
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
Solver Feedback Loops for Automated Constraint ModellingNightingale, Dr PWUniversity of YorkComputer Science 307,728
Twenty20InsightBencomo, Dr NDurham, University ofComputer Science 390,864
Two-way automata: limitations and frontiersChistikov, Dr DUniversity of WarwickComputer Science 280,432
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
Verification of Hardware Concurrency via Model Learning (CLeVer)Silva, Professor AUCLComputer Science 692,958

Total Number of Grants: 41
Total Value of Grants: £23,912,409

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