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 |