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 Calculus for Software Engineering of Mobile and Autonomous RobotsCavalcanti, Professor ALCUniversity of YorkComputer Science 1,766,824
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 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 40,058
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 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 EdinburghAspinall, Professor DUniversity of EdinburghSch of Informatics 81,715
Academic Centre of Excellence in Cyber Security Research - University of KentBoiten, Dr 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
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
App Collusion Detection (ACID)Roggenbach, Professor MSwansea UniversityCollege of Science 178,421
App Collusion Detection (ACID)Chen, Professor TCity, University of LondonSch of Engineering and Mathematical Sci 174,970
App Collusion Detection (ACID)Shaikh, Dr SCoventry UniversityEngineering and Computing 188,826
Application Customisation: Enhancing Design Quality and Developer ProductivityLuk, Professor WImperial College LondonDept of Computing 1,263,356
Border Patrol: Improving Smart Device Security through Type-Aware Systems DesignVanderbauwhede, Dr WUniversity of GlasgowSchool of Computing Science 1,765,760
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
Centre for Doctoral Training in Cyber Security at Royal HollowayCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,793,546
Combining Qualitative and Quantitative Reasoning for Logic-based GamesWooldridge, Professor MUniversity of OxfordComputer Science 271,272
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
Counter Automata: Verification and SynthesisWorrell, Professor JBUniversity of OxfordComputer Science 241,539
Counter Automata: Verification and SynthesisLazic, Dr RUniversity of WarwickComputer Science 229,281
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,489,111
Diversity and Defence in Depth for Security - A Probabilistic Approach (D3S)Gashi, Dr ICity, University of LondonCentre for Software Reliability 563,089
Energy Efficient ControlSchewe, Dr SUniversity of LiverpoolComputer Science 429,107
Energy Efficient ControlMayr, Dr RMUniversity of EdinburghSch of Informatics 371,397
Enhancing Security Through Improved Cryptographic ReductionsMeiklejohn, Ms SUCLComputer Science 75,893
EPSRC Centre for Doctoral Training in High Performance Embedded and Distributed SystemsLuk, Professor WImperial College LondonDept of Computing 4,081,694
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,892,290
EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and VerificationJefferson, Dr CAUniversity of St AndrewsComputer Science 237,768
EPSRC-Royal Society fellowship engagement (2013): Probabilistic TerminationKiefer, Dr SUniversity of OxfordComputer Science 208,807
Homotopy Type Theory: Programming and VerificationGambino, Dr NUniversity of LeedsPure Mathematics 93,134
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
Household-Supplier Energy MarketChitchyan, Dr RUniversity of LeicesterComputer Science 459,141
Improving Symbolic Execution via Targeted Program TransformationsCadar, Dr CImperial College LondonDept of Computing 286,470
Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto ImplementationsOswald, Dr MEUniversity of BristolComputer Science 1,150,814
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,082
Mind the Gap: Unified Reasoning About Program Correctness and EfficiencyHutton, Professor GUniversity of NottinghamSchool of Computer Science 411,980
Network on the Verification and Validation of Autonomous SystemsFisher, Professor MUniversity of LiverpoolComputer Science 107,725
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
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
Recursion, guarded recursion and computational effectsLevy, Dr PBUniversity of BirminghamSchool of Computer Science 361,844
Reducing Cost of Software: A Scalable Model-Based Verification FrameworkRoscoe, Professor AUniversity of OxfordComputer Science 961,156
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 Verified Trustworthy Software Systems (VeTSS)Gardner, Professor PImperial College LondonDept of Computing 654,850
Risk Measures for MDPsHan, Dr TBirkbeck CollegeComputer Science and Information Systems 101,113
RIVERAS: Robust Integrated Verification of Autonomous SystemsEder, Professor KUniversity of BristolComputer Science 817,020
Robustness-as-evolvability: building a dynamic control plane with Software-Defined NetworkingNagaraja, Dr SLancaster UniversityComputing & Communications 345,908
Robustness-as-evolvability: building a dynamic control plane with Software-Defined NetworkingAspinall, Professor DUniversity of EdinburghSch of Informatics 278,969
SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control SystemsRoberts, Professor CUniversity of BirminghamElectronic, Electrical and Computer Eng 395,222
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
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
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
Taming ConcurrencyJones, Professor CBNewcastle UniversityComputing Sciences 643,519
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
Trustworthy refactoringThompson, Professor SUniversity of KentSch of Computing 728,766
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsChopra, Dr ALancaster UniversityComputing & Communications 686,507
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsYoshida, Professor NImperial College LondonDept of Computing 863,741
VAC+: Verifier of Access ControlFerrara, Dr AUniversity of SouthamptonElectronics and Computer Science 100,746
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 resource-bounded multi-agent systemsRaimondi, Dr FMiddlesex UniversitySchool of Science and Technology 31,421
Verification of resource-bounded multi-agent systems (VRBMAS)Alechina, Dr NUniversity of NottinghamSchool of Computer Science 280,864
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

Total Number of Grants: 94
Total Value of Grants: £69,203,713

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