Home » Research »

 
 

Grants Held

 
 

Grants Held since 2000

Members of CIRCA have held the following Research Grants since 2000:

  • Working Together: Constraint Programming and Cloud Computing IJ Miguel, M Dominik, A Barker: EPSRC EP/K015745/1, £630,232, 01/04/2013-31/03/2016.
  • The Structure of Permutation Classes N Ruskuc: EPSRC EP/J006440/1, £66,715, 21/10/2011-20/10/2014.
  • Solving Word Problems via Generalisations of Small Cancellation CM Roney-Dougal, M Neunhoeffer, SA Linton: EPSRC EP/I03582X/1, £444,508, 01/10/2011-30/09/2014.
  • Representation Theory of Groups N Ruskuc: EPSRC EP/I032282/1, £97,568, 01/10/2011-31/03/2015.
  • Automata, Languages, Decidability in Algebra N Ruskuc, MR Quick: EPSRC EP/H011978/1, £348,646, 01/06/2010-30/11/2013.
  • A constraint solver synthesizer IJ Miguel, D Balasubramaniam, IP Gent, SA Linton: EPSRC EP/H004092/1, £929,076, 01/10/09-31/04/2014.
  • HPC-GAP: High Performance Computational Algebra and Discrete Mathematics SA Linton, IP Gent, K Hammond: EPSRC EP/G055181/1, £1,519,983, 01/09/2009-31/08/2013.
  • Finiteness Conditions and Index in Semigroups and Monoids. EPSRC post-doctoral fellowship for Dr Robert Gray, EP/E043194/1, £203,056, 01/02/2008-31/12/2009.
  • Proof Theory and Constraint Satisfaction Gent, IP. & Dyckhoff, R. Grant: EPSRC EP/F031114/1, £44,237, 01/01/2008 – 31/05/2008.
  • Watched Literals and Learning for Constraint Programming. Gent, IP. & Miguel, I. Grant: EPSRC EP/E030394/1, £382,018, 02/07/2007 – 01/04/2011.
  • Refinement-Driven Transformation for Effective Automated Constraint Modelling. Miguel, I. & Gent, IP. Grant: EPSRC EP/D030145/1, £73,331, 27/09/2006 – 26/09/2009.
  • SCIEnce: Symbolic Computation Infrastructure for Europe. Linton, S. & Hammond, K. Grant: EC 6th Framework Programme, 3,200,000 euros, 01/04/2006 – 31/12/2011.
  • Multidisciplinary Critical Mass in Computational Algebra and Applications. Linton, SA, Gent, IP, Miguel, I, Ruskuc, N, Quick, M, Robertson, E, Mackenzie, A, Leonhardt, U. Grant: EPSRC EP/C523229/1, £1,098,897, 1/9/2005 – 31/8/2010. 2005.
  • Applications of Automata and Languages in the Theory of Pattern Classes of Permutations. Ruskuc, N, Linton, SA, Robertson, EF. Grant: EPSRC GR/S53503/01, £157,723, 1/2/2004 – 31/1/2007. 2004.
  • Semigroups and Monoids in GAP. Ruskuc, N, Linton, SA, Robertson, EF. Grant: EPSRC GR/S56085/01, £144,327, 1/1/2004 – 31/12/2006. 2004.
  • Symmetry and Search Network. Linton, SA, Smith, BM, Melham, TF, Gent, IP, Fox, M, Kelsey, TW. Grant: EPSRC GR/S86037/01, £62,496, 1/5/2004 – 30/4/2007. 2004.
  • An Automated Constraint Modelling Assistant. Miguel, I. A Royal Academy of Engineering/EPSRC Research Fellowship. 5 years. 2004.
  • Dorothy Hodgkin Fellowship. Huczynska, S. 2004-2010, £163,885.
  • EmBounded: Automatic Prediction of Resource Bounds for Embedded Systems. Hammond, K, Dyckhoff, R. Grant: EC 6th Framework Programme IST-2004-510255, 1,262,000 euros, 2005-2008. 2004.
  • Generative Programming. Hammond, K, Taha, W. Grant: Royal Society of Edinburgh, £835. 2004.
  • Generative Programming for Embedded Systems. Hammond, K. Grant: EPSRC EP/C001346/1, £145,065, 2005-2008. 2004.
  • Adaptive Scheduling for Computational Grids. Hammond, K, Trinder, PW, Michaelson, GJ, Loogen, R, Loidl, H-W, Hofmann, M. Grant: DAAD/British Council, £11,000. 2003.
  • Type and Effect Systems for Analysing Resource Usage. Hammond, K, Damas, L. Grant: British Council Treaty of Windsor, £2,000. 2003.
  • Modelling Symmetries in Constraint Programming. Gent, IP, Linton, SA, Smith, BM. Grant: EPSRC GR/S30658/01, £5,478, 5/2003 – 10/2003. 2003.
  • Symmetry and Inference. Linton, SA, Gent, IP. Grant: EPSRC GR/S30580/01, £163,911, 1/10/2003 – 30/9/2006. 2003.
  • Algebraic Constraint Programming. Gent, IP. Grant: Royal Society of Edinburgh SEELLD Support Fellowship, ca £35,000. 2003.
  • Computational Algebra for Commodity Parallel Machines. Hammond, K, Linton, SA. Grant: EPSRC GR/R91298/01, £153,390, 1/2/2003 – 31/1/2006. 2002.
  • Support for Preparation of a Proposal for a European Network of Excellence in Symbolic Computation. Hammond, K, Linton, SA. Grant: EPSRC GR/S15198/01, £11,822, 1/11/2002 – 31/10/2004. 2002.
  • A Distributed Implementation of Hume. Hammond, K, Sérot, J, Michaelson, GJ. Grant: CNRS Research Feasibility Grant, £4,000, 2 Years. 2002.
  • Support for Preparation of a Proposal for a European Network of Excellence in Symbolic Computation. Hammond, K, Linton, SA. Grant: EPSRC GR/S15198/01, £11,822, 1/11/2002 – 31/10/2004. 2002.
  • Time and Space Modelling for Concurrent Resource-Sensitive Systems. Hammond, K. Grant: EPSRC GR/R70545, £53,925, 1/4/2002 – 31/3/2005. 2002.
  • Constraint Programming, Search and Symmetry. Gent, IP, Martin, U, Linton, SA. Grant: EPSRC GR/R29666, £146,610, 1/7/2001 – 31/12/2004. 2001.
  • Algorithms for Quantified Boolean Formulae. Gent, IP. Grant: EPSRC GR/R55382, £51,807, 1/10/2001 – 30/9/2004. 2001.
  • Personal Travel Grant. Hammond, K. Grant: Universidad Católica Andrés Bello, Caracas, Venezuela, £1,000. 2001.
  • Problem Reformulation and Search. Prosser, P, Smith, BM, Gent, IP. Grant: EPSRC GR/M90641, £159,097, 31/8/2000 – 30/8/2003. 2000.
  • Performance Evaluation of Parallel Functional Programs for Multi-Processor Computer Systems. Hammond, K, Trinder, PW, Loidl, H-W, King, DJ, Marí, P, Ortega-Mallén, Y. Grant: British Council, £8,000, 2 Years. 2000.
  • Dorothy Hodgkin Fellowship. Holmes, P.E.