Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Verification and Correctness - EPSRC Reserach Area

http://www.researchperspectives.org/gow.ra/research_area_VerificationandCorrectness.png

Similar Research Areas

Recent EPSRC Grants for Verification and Correctness

Title Principal Investigator Organization Start Date End Date Value
Testing, Verifying, and Generating Software Patches Using Dynamic Symbolic Execution Cadar, C (Dr) Imperial College London 31/05/2012 30/05/2015 £287,184
Scalable Automatic Verification of GPU Kernels Donaldson, AF (Dr) Imperial College London 30/06/2013 29/06/2014 £100,057
Network on Formal Methods and Cryptography: CryptoForma 2. Boiten, EA (Dr) University of Kent 28/11/2012 27/11/2015 £90,227
Trustworthy Robotic Assistants Eder, K (Dr) University of Bristol 23/04/2013 22/10/2016 £396,538
High-integrity Java Applications using Circus Cavalcanti, ALC (Dr) University of York 22/06/2010 30/09/2015 £1,029,474
Se-Ma-Match: Semantic Malware Matching King, A (Dr) University of Kent 22/04/2013 21/04/2016 £245,525
SeMaMatch: Semantic Malware Matching Clark, DJ (Dr) University College London 22/04/2013 21/04/2016 £309,013
Trustworthy Voting Systems Heather, JA (Dr) University of Surrey 22/04/2009 21/04/2014 £1,056,891
RIVERAS: Robust Integrated Verification of Autonomous Systems Eder, K (Dr) University of Bristol 21/01/2013 20/01/2018 £817,020
Metacognitive Instruction, Confidence and Prediction Accuracy in Software Engineering (MICaPASE) MAIR, C (Professor) University of the Arts London 20/11/2011 19/05/2013 £49,796
AI4FM: using AI to aid automation of proof search in Formal Methods Ireland, A (Professor) Heriot-Watt University 20/05/2010 19/05/2014 £23,194
Verifying Concurrent Lock-free Algorithms Derrick, J (Professor) University of Sheffield 19/04/2012 18/10/2015 £378,905
Verification and correctness of service-oriented systems Fiadeiro, JL (Professor) Royal Holloway, Univ of London 18/03/2013 17/06/2013 £5,360
Sustained Autonomy through Coupled Plan-based Control and World Modelling with Uncertainty Long, D (Professor) King's College London 16/07/2012 15/07/2015 £237,002
Sustained Autonomy through Coupled Plan-based Control and World Modelling with Uncertainty Lane, D (Professor) Heriot-Watt University 16/07/2012 15/07/2015 £256,441
Sustained Autonomy through Plan-based Control and World Modelling with Uncertainty Dearden, RW (Dr) University of Birmingham 16/07/2012 15/07/2015 £194,871
Game semantics, recursion schemes and collapsible pushdown automata: a new approach to the algorithmics of infinite structures Ong, CHL (Professor) University of Oxford 15/07/2008 14/04/2013 £522,778
Extreme Reasoning OHearn, P (Professor) University College London 15/01/2008 14/07/2012 £759,553
UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER) Koutny, M (Professor) Newcastle University 14/01/2013 13/01/2016 £559,122
Trustworthy Voting Systems Ryan, M (Professor) University of Birmingham 12/10/2009 21/04/2014 £444,316
Multiprocessors: From Microarchitecture to Semantic Theory Sarkar, S (Dr) University of St Andrews 10/06/2010 15/07/2013 £269,820
Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity Worrell, JB (Professor) University of Oxford 10/01/2010 09/09/2013 £212,217
Verifying Interoperability Requirements in Pervasive Systems Ryan, M (Professor) University of Birmingham 08/10/2008 07/03/2013 £418,296
Efficient Verification of Software with Replicated Components Kroening, D (Professor) University of Oxford 02/02/2009 30/10/2012 £425,900
A Population Approach to Ubicomp System Design Chalmers, M (Dr) University of Glasgow 01/12/2011 30/11/2016 £3,253,414
Automated Reasoning with Very Large Theories Voronkov, A (Professor) The University of Manchester 01/12/2009 28/02/2013 £315,403
Reasoning with Relaxed Memory Models Sewell, PM (Professor) University of Cambridge 01/12/2008 30/11/2012 £813,748
Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming Donaldson, AF (Dr) Imperial College London 01/11/2011 31/07/2012 £64,242
DYVERSE: A New Kind of Control for Hybrid Systems Navarro-Lopez, E (Dr) The University of Manchester 01/11/2010 31/10/2012 £101,571
Automatic Proof Procedures for Polynomials and Special Functions Jackson, PB (Dr) University of Edinburgh 01/11/2010 31/10/2014 £518,444
Automatic Proof Procedures for Polynomials and Special Functions Paulson, LC (Professor) University of Cambridge 01/11/2010 31/10/2014 £533,183
Automated Game-Theoretic Verification of Security Systems Parker, D (Dr) University of Birmingham 01/10/2013 30/09/2014 £98,762
Real Geometry and Connectedness via Triangular Description Davenport, J (Professor) University of Bath 01/10/2011 30/09/2015 £359,554
A generic transducer-based approach to modelling and verifying infinite-state systems: techniques, applications, and tools Lin, A (Dr) University of Oxford 01/10/2010 30/09/2013 £250,894
Trusted Autonomous Systems Lomuscio, AR (Professor) Imperial College London 01/10/2010 30/09/2015 £1,066,423
Quantitative Verification: From Model Checking to Model Measuring Ouaknine, J (Professor) University of Oxford 01/10/2009 30/09/2014 £1,018,521
Verifying Interoperability Requirements in Pervasive Systems Fisher, M (Professor) University of Liverpool 01/10/2008 31/03/2013 £438,609
Verification of resource-bounded multi-agent systems (VRBMAS) Alechina, N (Dr) University of Nottingham 01/09/2013 31/08/2016 £280,864
Verification of resource-bounded multi-agent systems Raimondi, F (Dr) Middlesex University 01/09/2013 31/08/2016 £31,421
Semantic Types for Verified Program Behaviour Laird, J (Dr) University of Bath 01/09/2013 31/08/2016 £265,061
Partial order semantics for concurrent program verification Alglave, J (Dr) University College London 01/09/2013 28/02/2015 £98,000
Automating Separation Logic Reasoning Navarro Perez, J (Dr) University College London 01/09/2013 28/02/2015 £98,055
Verification of Shared-Memory Concurrent Software Kroening, D (Professor) University of Oxford 01/09/2010 28/02/2014 £428,481
Verifying Interoperability Requirements in Pervasive Systems Calder, M (Professor) University of Glasgow 01/09/2008 28/02/2013 £470,410
Coalgebraic Logic Programming for Type Inference Power, AJ (Dr) University of Bath 01/08/2013 31/07/2016 £37,115
COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages Komendantskaya, E (Dr) University of Dundee 01/08/2013 31/07/2016 £280,590
Relaxed Memory Model Design for Theory and Practice Owens, SA (Dr) University of Kent 01/08/2013 31/07/2015 £98,538
Academic Centre of Excellence in Cyber Security Research - University of Birmingham Ryan, M (Professor) University of Birmingham 01/07/2013 30/06/2017 £40,058
REVES: REasoning in VErification and Security Voronkov, A (Professor) The University of Manchester 01/06/2013 31/05/2016 £747,290
Boosting Automated Verification Using Cyclic Proof Brotherston, J (Dr) University College London 01/06/2013 31/05/2016 £550,181
New Foundational Structures for Engineering Verified multi-UAVs Kroening, D (Professor) University of Oxford 01/06/2012 31/05/2015 £636,718
Inference Mechanisms for a Separation and Numerical Domain Qin, S (Professor) University of Teesside 01/06/2010 30/09/2013 £332,629
jStar: making java verification practical Distefano, D (Dr) Queen Mary, University of London 01/06/2010 31/08/2013 £219,270
Verification of Concurrent and Higher-Order Recursive Programs Hague, M (Dr) Royal Holloway, Univ of London 01/05/2013 30/04/2018 £469,677
Future filesystems: mechanized specification, validation, implementation and verification of filesystems Ridge, T (Dr) University of Leicester 01/05/2013 30/04/2015 £91,730
Scalable Program Analysis for Software Verification YANG, H (Dr) University of Oxford 01/05/2011 30/09/2012 £120,683
Formal Methods and Cryptography: The Next Generation of Abstractions (CryptoForma) Boiten, EA (Dr) University of Kent 01/05/2009 31/10/2012 £73,820
Securing the Future: Expanding the cs4fn (Computer Science for Fun) Project Curzon, P (Professor) Queen Mary, University of London 01/05/2008 30/09/2013 £661,645
Trustworthy Robotic Assistants Dautenhahn, K (Professor) University of Hertfordshire 01/04/2013 30/09/2016 £375,542
Taming Concurrency Jones, C (Professor) Newcastle University 01/04/2013 31/03/2017 £643,519
Certified Verification of Client-Side Web Programs Gardner, P (Professor) Imperial College London 01/04/2013 31/03/2016 £893,923
Centre for Doctoral Training in Cyber Security at Royal Holloway CID, C (Dr) Royal Holloway, Univ of London 01/04/2013 31/12/2019 £3,793,546
Oxford University Centre for Doctoral Training in Cyber Security Martin, A (Dr) University of Oxford 01/04/2013 31/12/2019 £3,654,612
Manchester Centre for Doctoral Training in Computer Science Furber, S B (Professor) The University of Manchester 01/04/2011 30/09/2019 £2,199,181
Analysing Security and Privacy Properties Ryan, M (Professor) University of Birmingham 01/04/2010 31/03/2015 £991,396
Cool: Coalgebras, Ontologies and Logic Sergot, M (Professor) Imperial College London 01/04/2010 31/07/2013 £393,699
AI4FM: using AI to aid automation of proof search in Formal Methods Jones, C (Professor) Newcastle University 01/04/2010 31/03/2014 £467,296
AI4FM: using AI to aid automation of proof search in Formal Methods Bundy, A (Professor) University of Edinburgh 01/04/2010 31/03/2014 £513,669
Trustworthy Robotic Assistants Fisher, M (Professor) University of Liverpool 01/03/2013 31/08/2016 £378,892
Trustworthy Robotic Assistants Pipe, AG (Professor) University of the West of England 01/03/2013 31/08/2016 £49,730
REMS: Rigorous Engineering for Mainstream Systems Sewell, PM (Professor) University of Cambridge 01/03/2013 28/02/2019 £5,575,635
Compositional Security Analysis for Binaries King, A (Dr) University of Kent 01/03/2013 29/02/2016 £228,823
Compositional Security Analysis for Binaries Distefano, D (Dr) Queen Mary, University of London 01/03/2013 29/02/2016 £270,982
Compositional Security Analysis for Binaries OHearn, P (Professor) University College London 01/03/2013 29/02/2016 £289,852
Program Verification Techniques for Understanding Security Properties of Software OHearn, P (Professor) University College London 01/03/2013 29/02/2016 £876,542
Resource Reasoning OHearn, P (Professor) University College London 01/03/2012 31/12/2015 £2,229,287
Measurement-based quantum computing and its relation to other quantum models Kashefi, E (Dr) University of Edinburgh 01/03/2008 31/07/2013 £400,906