Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Theory of Computation - EPSRC Reserach Area

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

Similar Research Areas

Recent EPSRC Grants for Theory of Computation

Title Principal Investigator Organization Start Date End Date Value
Game Semantics for Java Programs Murawski, A (Dr) University of Warwick 31/03/2013 30/03/2015 £209,084
Scalable Automatic Verification of GPU Kernels Donaldson, AF (Dr) Imperial College London 30/06/2013 29/06/2014 £100,057
Conversation-Based Governance for Distributed Systems by Multiparty Session Types Yoshida, N (Professor) Imperial College London 30/06/2013 29/06/2017 £1,500,660
Quantum Mathematics and Computation Abramsky, S (Professor) University of Oxford 30/06/2013 29/06/2016 £935,304
Codesign: A higher-order approach Constantinides, GA (Dr) Imperial College London 29/06/2013 28/12/2016 £297,110
Device Independent Quantum Information Processing Barrett, J (Dr) University of Oxford 29/02/2012 28/02/2015 £91,722
Network on Formal Methods and Cryptography: CryptoForma 2. Boiten, EA (Dr) University of Kent 28/11/2012 27/11/2015 £90,227
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
From Data Types to Session Types---A Basis for Concurrency and Distribution Wadler, P (Professor) University of Edinburgh 20/05/2013 19/05/2018 £3,956,088
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
Robustly Tractable Constraint Satisfaction Problems Krokhin, A (Professor) Durham University 19/03/2012 18/03/2015 £78,524
Device Independent Quantum Information Processing Barrett, J (Dr) University of Oxford 18/02/2013 17/07/2015 £91,482
Dream Fellowship: Energy-Modulated Computing Yakovlev, A (Professor) Newcastle University 17/10/2011 16/10/2013 £171,080
A higher-order approach to codesign - 27659 Ghica, DR (Dr) University of Birmingham 17/06/2013 16/12/2016 £274,300
Milner Symposium 2012 Plotkin, G (Professor) University of Edinburgh 16/04/2012 15/01/2013 £22,301
Games and Abstraction: The Science of Cyber Security Pavlovic, DD (Professor) Royal Holloway, Univ of London 15/10/2012 14/04/2016 £39,396
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
Biologically-Inspired Massively Parallel Architectures - computing beyond a million processors Allerton, DJ (Professor) University of Sheffield 15/06/2009 14/12/2014 £583,693
Extreme Reasoning OHearn, P (Professor) University College London 15/01/2008 14/07/2012 £759,553
The Limits of Decidability: Counting, Transitivity, Equivalence Pratt-Hartmann, I (Dr) The University of Manchester 14/03/2013 13/03/2015 £71,959
UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER) Koutny, M (Professor) Newcastle University 14/01/2013 13/01/2016 £559,122
Higher-order Refinement Techniques for Model Driven Architecture Derrick, J (Professor) University of Sheffield 13/07/2009 12/10/2012 £318,523
Approximation and mixing times in the ferromagnetic Potts model Bordewich, MJR (Dr) Durham University 11/01/2010 01/04/2013 £250,380
Multiprocessors: From Microarchitecture to Semantic Theory Sarkar, S (Dr) University of St Andrews 10/06/2010 15/07/2013 £269,820
Non-interactive Zero-Knowledge Proofs Groth, J (Dr) University College London 10/06/2009 09/09/2012 £301,726
Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity Worrell, JB (Professor) University of Oxford 10/01/2010 09/09/2013 £212,217
Network of Excellence in Future of Identity Rajarajan, M (Professor) City University London 07/11/2012 06/11/2015 £100,425
Coalgebraic Logic: Expanding the Scope Kurz, A (Dr) University of Leicester 06/09/2009 05/01/2013 £361,165
COED: Computing on Encrypted Data Smart, N (Professor) University of Bristol 03/10/2011 02/10/2015 £946,576
Logical Foundations of Resource Brotherston, J (Dr) University College London 02/06/2012 01/12/2016 £423,410
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
PLanCompS: Programming Language Components and Specifications Mosses, P (Professor) Swansea University 01/11/2011 31/10/2015 £695,781
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
Constraint Satisfaction for Configuration: Logical Fundamentals,Algorithms, and Complexity Gottlob, G (Professor) University of Oxford 01/11/2009 31/10/2013 £483,829
Algebra and Logic for Policy and Utility in Information Security Pym, D (Professor) University of Aberdeen 01/10/2013 30/09/2017 £441,734
Algebra and Logic for Policy and Utility in Information Security McCusker, G (Professor) University of Bath 01/10/2013 30/09/2017 £401,216
Memoryless computation and network coding Gadouleau, M R (Dr) Durham University 01/10/2013 30/09/2015 £96,437
Automated Game-Theoretic Verification of Security Systems Parker, D (Dr) University of Birmingham 01/10/2013 30/09/2014 £98,762
Computational Creativity Theory Colton, S (Professor) Goldsmiths College 01/10/2011 30/09/2016 £970,170
Synthesis and Verification in Markov Game Structures Schewe, S (Dr) University of Liverpool 01/10/2010 30/11/2013 £335,487
Theory And Applications of Induction Recursion Setzer, A (Dr) Swansea University 01/10/2009 31/03/2013 £104,925
Reusability and Dependent Types Gibbons, J (Professor) University of Oxford 01/10/2009 31/10/2013 £124,273
Reusability and Dependent Types Ghani, N (Professor) University of Strathclyde 01/10/2009 30/09/2013 £148,280
A Constraint Solver Synthesiser Miguel, IJ (Dr) University of St Andrews 01/10/2009 31/03/2014 £929,076
Logic of Interaction and Information Flow Abramsky, S (Professor) University of Oxford 01/10/2008 30/09/2012 £305,955
Foundational Structures and Methods for Quantum Informatics Abramsky, S (Professor) University of Oxford 01/10/2007 30/09/2012 £548,725
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
PLanCompS: Programming Language Components and Specifications Johnstone, A (Professor) Royal Holloway, Univ of London 01/09/2011 31/08/2015 £491,077
PLanCompS: Programming Language Components and Specifications Buchanan, GR (Dr) City University London 01/09/2011 31/08/2015 £27,167
Structures at the Interface of Physics and Computer Science Abramsky, S (Professor) University of Oxford 01/09/2011 31/08/2014 £200,890
Towards Industrial Applications of Modular Languages for Biology Pedersen, MD (Dr) University of Cambridge 01/09/2010 31/08/2013 £250,340
Logical Difference for Ontology Versioning Konev, B (Dr) University of Liverpool 01/09/2010 15/01/2014 £326,691
Quantified Constraints and Generalisations Stewart, IA (Professor) Durham University 01/09/2009 31/08/2012 £247,539
Real-time Numerical Optimization in Reconfigurable Hardware with Application to Model-Predictive Control Maciejowski, J (Professor) University of Cambridge 01/09/2009 28/02/2013 £314,874
Theory And Applications of Induction Recursion Altenkirch, T (Dr) University of Nottingham 01/09/2009 28/02/2013 £106,670
XML with Incomplete Information: Representation, Querying, and Applications Libkin, L (Professor) University of Edinburgh 01/09/2009 30/11/2013 £565,505
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
The Integration and Interaction of Multiple Mathematical Reasoning Processes Ireland, A (Professor) Heriot-Watt University 01/08/2011 31/07/2015 £1,140,286
Midlands Graduate School in the Foundations of Computing Science 2011 Capretta, V (Dr) University of Nottingham 01/08/2011 31/07/2012 £9,000
Foundations of Secure Web Programming Maffeis, S (Dr) Imperial College London 01/08/2010 31/07/2015 £591,978
Academic Centre of Excellence in Cyber Security Research - University of Cambridge Stajano, F (Dr) University of Cambridge 01/07/2013 30/06/2017 £39,455
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
Academic Centre of Excellence in Cyber Security Research - Newcastle University van Moorsel, A (Professor) Newcastle University 01/07/2013 30/06/2017 £40,556
Haskell Types with Added Value McBride, CT (Dr) University of Strathclyde 01/07/2012 30/06/2013 £96,582
Reliable Numerical Computation with Parallel Unreliable Technologies Constantinides, GA (Dr) Imperial College London 01/07/2011 30/06/2016 £1,002,462
Programming and Reasoning on Infinite Data Structures Capretta, V (Dr) University of Nottingham 01/07/2011 31/12/2013 £43,050
Boosting Automated Verification Using Cyclic Proof Brotherston, J (Dr) University College London 01/06/2013 31/05/2016 £550,181
Approximate Matching of Sequences. Crochemore, M (Professor) King's College London 01/06/2012 30/11/2013 £156,691
HPC Short Courses - a coordinated response for training the UK's next generation of HPC users Rodger, PM (Professor) University of Warwick 01/06/2011 30/11/2014 £296,482
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
Real-time Numerical Optimization in Reconfigurable Hardware with Application to Model-Predictive Control Constantinides, GA (Dr) Imperial College London 01/06/2009 30/11/2012 £527,277
Computational Creativity Theory Colton, S (Professor) Goldsmiths College 01/05/2013 30/09/2016 £669,632
Verification of Concurrent and Higher-Order Recursive Programs Hague, M (Dr) Royal Holloway, Univ of London 01/05/2013 30/04/2018 £469,677
Homotopical inductive types Rathjen, M (Professor) University of Leeds 01/05/2013 30/04/2016 £283,814
Automated Prover Generation Schmidt, RA (Dr) The University of Manchester 01/05/2010 31/03/2014 £410,798
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
Interconnection Networks: Practice unites with Theory (INPUT) Stewart, IA (Professor) Durham University 01/04/2013 31/03/2016 £353,575
Interconnection Networks: Practice unites with Theory (INPUT) Furber, S B (Professor) The University of Manchester 01/04/2013 31/03/2016 £317,410
Working Together: Constraint Programming and Cloud Computing Miguel, IJ (Dr) University of St Andrews 01/04/2013 31/03/2016 £630,232
Logical Relations for Program Verification Johann, P (Dr) University of Strathclyde 01/04/2013 31/03/2017 £442,444
Detecting Induced Graph Patterns Paulusma, D (Dr) Durham University 01/04/2013 31/03/2016 £363,442
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
Descriptive Complexity with Algebraic Operators Dawar, A (Professor) University of Cambridge 01/04/2010 31/03/2014 £424,833
Biologically-Inspired Massively Parallel Architectures - computing beyond a million processors Moore, SW (Dr) University of Cambridge 01/04/2009 14/06/2014 £723,230
REMS: Rigorous Engineering for Mainstream Systems Sewell, PM (Professor) University of Cambridge 01/03/2013 28/02/2019 £5,575,635
Resource Reasoning OHearn, P (Professor) University College London 01/03/2012 31/12/2015 £2,229,287
Classical Dependent Type Theories Adams, R (Dr) Royal Holloway, Univ of London 01/03/2012 31/08/2013 £98,545
MACHINE LEARNING COALGEBRAIC AUTOMATED PROOFS Komendantskaya, E (Dr) University of Dundee 01/03/2012 28/02/2014 £100,268
Pattern matching algorithms for streaming data Sach, BG (Dr) University of Warwick 01/03/2011 28/02/2014 £222,288
Biologically-Inspired Massively Parallel Architectures - computing beyond a million processors Brown, AD (Professor) University of Southampton 01/03/2010 14/06/2014 £892,622
Cryptography: Bridging Theory and Practice Paterson, KG (Professor) Royal Holloway, Univ of London 01/03/2010 28/02/2015 £1,239,094
Theory And Applications of Induction Recursion Ghani, N (Professor) University of Strathclyde 01/03/2009 31/08/2012 £310,904
Reusability and Dependent Types Altenkirch, T (Dr) University of Nottingham 01/03/2009 28/02/2013 £244,671
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
Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems Gutin, G (Professor) Royal Holloway, Univ of London 01/02/2013 31/01/2016 £602,797
Games and Abstraction: The Science of Cyber Security Malacaria, P (Dr) Queen Mary, University of London 01/02/2013 31/07/2016 £316,417
Efficient and Natural Proof Systems Guglielmi, A (Dr) University of Bath 01/02/2013 31/01/2016 £556,849
Unifying Theories of Generic Programming Hinze, RTW (Dr) University of Oxford 01/02/2012 31/01/2015 £574,865
Next generation pattern matching Clifford, R (Dr) University of Bristol 01/01/2013 31/12/2017 £941,287
Games and Abstraction: The Science of Cyber Security Hankin, C (Professor) Imperial College London 01/01/2013 30/06/2016 £493,333
Conversation-Based Governance for Distributed Systems by Multiparty Session Types Honda, KH (Dr) Queen Mary, University of London 01/01/2013 31/12/2016 £717,603
Dynamic pattern matching: Faster Algorithms and New Bounds Clifford, R (Dr) University of Bristol 01/01/2012 31/12/2014 £289,045
Semantic Foundations for Real-World Systems Sewell, PM (Professor) University of Cambridge 01/01/2010 31/12/2014 £1,523,815
Biologically-Inspired Massively Parallel Architectures - computing beyond a million processors Furber, S B (Professor) The University of Manchester 01/01/2009 14/06/2014 £2,707,120
Semantics of Nondeterminism: Functions, Strategies and Bisimulation Levy, PB (Dr) University of Birmingham 01/01/2008 31/12/2012 £416,684