Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Maths of Computing - EPSRC Reserach Area

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

Similar Research Areas

Recent EPSRC Grants for Maths of Computing

Title Principal Investigator Organization Start Date End Date Value
Clique-width of graphs Lozin, V (Dr) University of Warwick 31/08/2011 30/08/2014 £244,150
Random walks on computer networks Cooper, CD (Professor) King's College London 31/03/2012 30/03/2014 £131,940
Evolutionary Approximation Algorithms for Optimisation: Algorithm Design and Complexity Analysis Yao, X (Professor) University of Birmingham 29/04/2011 28/04/2015 £469,838
GISMO: Genetic Improvement of Software for Multiple Objectives Harman, M (Professor) University College London 28/10/2011 27/10/2015 £502,415
The Centre for Discrete Mathematics and its Applications (DIMAP) Czumaj, A (Professor) University of Warwick 26/03/2007 25/03/2014 £3,768,168
AMPS: Analysis of Massively Parallel Stochastic Systems Bradley, JT (Dr) Imperial College London 24/08/2009 23/06/2013 £543,607
Towards More Effective Computational Search John, RI (Professor) University of Nottingham 22/02/2010 21/02/2015 £1,010,976
Imperial College London Mathematics Platform Grant Lamb, JSW (Professor) Imperial College London 18/02/2011 17/02/2016 £526,820
Milner Symposium 2012 Plotkin, G (Professor) University of Edinburgh 16/04/2012 15/01/2013 £22,301
HPC-GAP: High Performance Computational Algebra and Discrete Mathematics Loidl, H (Dr) Heriot-Watt University 15/10/2009 14/10/2013 £366,253
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
Approximation and mixing times in the ferromagnetic Potts model Bordewich, MJR (Dr) Durham University 11/01/2010 01/04/2013 £250,380
Computational Counting Dyer, ME (Professor) University of Leeds 09/03/2011 31/07/2014 £120,520
Platform grant Bridson, M (Professor) University of Oxford 09/02/2011 08/02/2016 £609,844
Cognitive Resource Scheduling Designs Towards Green Wireless Systems Ni, Q (Professor) Lancaster University 07/01/2013 06/01/2016 £300,568
Efficient Algorithms for Mechanism Design Without Monetary Transfer Manlove, DF (Dr) University of Glasgow 06/06/2013 05/06/2016 £269,482
Linear Algebra and Optimization: Structure, Sparsity, Algorithms and Software Scott, JA (Dr) STFC - Laboratories 03/10/2011 02/10/2015 £1,489,217
New Techniques for Finding and Analysing Information Leaks Chothia, TC (Dr) University of Birmingham 02/04/2012 01/08/2013 £88,652
Capacity Building in Complexity Science at Warwick MacKay, RS (Professor) University of Warwick 01/12/2006 30/11/2014 £4,142,427
Probabilistic Rounding Algorithms for Mathematical Programming Sviridenko, M (Professor) University of Warwick 01/11/2012 31/10/2015 £360,972
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
Multiplicative Structure of Tropical Matrix Algebra Kambites, M (Dr) The University of Manchester 01/11/2009 31/03/2013 £298,636
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
Coarse geometry and cohomology of large data sets Brodzki, J (Professor) University of Southampton 01/10/2011 31/03/2015 £592,131
Solving word problems via generalisations of small cancellation Roney-Dougal, CM (Dr) University of St Andrews 01/10/2011 30/09/2014 £444,508
WHole Animal Modelling (WHAM): Toward the integrated understanding of sensory motor control in C. elegans Cohen, N (Professor) University of Leeds 01/10/2011 30/09/2016 £1,185,968
Synthesis and Verification in Markov Game Structures Schewe, S (Dr) University of Liverpool 01/10/2010 30/11/2013 £335,487
IDEAS Factory - Game theory and adaptive networks for smart evacuations. Preston, JJ (Professor) University of East London 01/10/2010 31/03/2013 £864,515
Algorithmic Aspects of Graph Coloring Paulusma, D (Dr) Durham University 01/10/2009 31/10/2013 £437,514
HPC-GAP: High Performance Computational Algebra and Discrete Mathematics Geck, MJ (Professor) Stuttgart University 01/10/2009 30/09/2013 £98,252
Efficient Decentralised Approaches in Algorithmic Game Theory Goldberg, P (Professor) University of Oxford 01/10/2009 31/12/2012 £398,279
LSI Doctoral Training Centres: University of Warwick Rodger, A (Professor) University of Warwick 01/10/2007 30/09/2012 £1,117,411
Automatic Diagram Generation Fish, AG (Dr) University of Brighton 01/09/2012 26/09/2013 £99,940
Warwick Symposium: Probability O'Connell, NM (Professor) University of Warwick 01/09/2011 31/08/2013 £206,586
Warwick Symposium: Probability Hambly, B (Professor) University of Oxford 01/09/2011 31/08/2013 £11,310
Structures at the Interface of Physics and Computer Science Abramsky, S (Professor) University of Oxford 01/09/2011 31/08/2014 £200,890
Grand Challenges: Translating biomedical modelling into the heart of the clinic Smith, N (Professor) King's College London 01/09/2010 31/03/2013 £383,257
HPC-GAP: High Performance Computational Algebra and Discrete Mathematics Linton, S (Professor) University of St Andrews 01/09/2009 28/02/2014 £874,305
HPC-GAP: High Performance Computational Algebra and Discrete Mathematics Trew, AS (Professor) University of Edinburgh 01/09/2009 31/08/2013 £181,173
Advances in Sublinear Algorithms Czumaj, A (Professor) University of Warwick 01/09/2009 28/02/2013 £296,846
New directions in quantum algorithms Montanaro, A (Dr) University of Cambridge 01/08/2010 30/09/2012 £163,447
CREST: Centre for Research on Evolution, Search and Testing, Platform Grant. Harman, M (Professor) University College London 01/08/2010 31/08/2014 £925,401
Rigorous Runtime Analysis of Nature Inspired Meta-heuristics Oliveto, PS (Dr) University of Birmingham 01/08/2010 30/09/2013 £264,223
Numerical Algorithms and Intelligent Software for the Evolving HPC Platform Yellowlees, L (Professor) University of Edinburgh 01/08/2009 31/07/2014 £4,550,814
Structure-Preserving Pairing-Based Cryptography Groth, J (Dr) University College London 01/07/2012 30/06/2015 £362,032
Submodular optimization, lattice theory and maximum constraint satisfaction problems Krokhin, A (Professor) Durham University 01/07/2010 31/12/2013 £297,257
Efficient Algorithms for Mechanism Design Without Monetary Transfer Krysta, P (Dr) University of Liverpool 01/06/2013 31/05/2016 £329,764
Computational Counting Jerrum, M (Professor) Queen Mary, University of London 01/06/2011 31/05/2014 £354,826
Platform Grant: Warwick Mathematics Platform (WAMP) Sparrow, C (Professor) University of Warwick 01/06/2011 31/05/2016 £520,809
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
Automata, Languages, Decidability in Algebra Ruskuc, N (Professor) University of St Andrews 01/06/2010 31/05/2014 £348,646
Algorithmic Aspects of Intersection Graph Models Mertzios, G (Dr) Durham University 01/05/2013 30/04/2015 £96,802
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour Kerber, M (Dr) University of Birmingham 01/05/2012 30/04/2015 £389,557
Evolutionary Approximation Algorithms for Optimisation: Algorithm Design and Complexity Analysis He, J (Dr) Aberystwyth University 01/05/2011 30/04/2015 £331,477
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
Detecting Induced Graph Patterns Paulusma, D (Dr) Durham University 01/04/2013 31/03/2016 £363,442
Improving patient outcome by integrating the generic with the personal Shankland, CE (Dr) University of Stirling 01/04/2013 30/09/2016 £1,228,231
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
Structural Vulnerability Measures for Networks and Graphs Paulusma, D (Dr) Durham University 01/04/2009 30/09/2012 £493,476
Algorithmic Mechanism Design and Optimization Problems with Economic Applications Krysta, P (Dr) University of Liverpool 01/04/2009 30/09/2012 £287,199
Inner Model Theory in Outer Models Welch, PD (Professor) University of Bristol 01/03/2012 31/08/2014 £199,895
Computational Counting Goldberg, LA (Professor) University of Oxford 01/03/2011 28/02/2014 £327,205
AMPS: Analysis of Massively Parallel Stochastic Systems Thomas, NA (Dr) Newcastle University 01/03/2009 31/01/2013 £315,000
Reliable Distributed Algorithms for Dynamic Communication in Ad Hoc Networks Kowalski, DR (Dr) University of Liverpool 01/03/2009 29/08/2012 £278,844
Isaac Newton Institute for Mathematical Sciences Toland, JF (Professor) University of Cambridge 01/03/2008 28/02/2014 £9,733,806
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
Efficiency and Complexity in Congestion Games Gairing, M (Dr) University of Liverpool 01/01/2013 31/12/2014 £99,571
Algorithms for Perfect Graph and Other Hereditary Graph Classes Vuskovic, K (Professor) University of Leeds 01/01/2013 31/12/2015 £134,323
Dynamic pattern matching: Faster Algorithms and New Bounds Clifford, R (Dr) University of Bristol 01/01/2012 31/12/2014 £289,045
MAPLE: MAthematics PLatform Engagement activity Abrahams, ID (Professor) The University of Manchester 01/01/2011 31/12/2015 £532,050
Random structures, spin glasses and efficient algorithms Coja-Oghlan, A (Dr) University of Warwick 01/01/2010 31/10/2012 £295,184
Efficient Decentralised Approaches in Algorithmic Game Theory Czumaj, A (Professor) University of Warwick 01/01/2010 31/12/2012 £351,899
Combinatorial Optimization Algorithms for Hereditary Graph Classes Vuskovic, K (Professor) University of Leeds 01/01/2010 31/12/2012 £96,293
Solving Parity Games and Mu-Calculi Bradfield, J (Dr) University of Edinburgh 01/01/2009 31/12/2012 £279,162