Grants Held

Grants held since 2000

Current research funding:

• Finding Routes in Systems of Reversible Rules. C. Jefferson, Royal Society, £390,000, 01/10/2018-30/09/2021.
• A Learning, Optimising Compiler for Computational Group Theory. C. Jefferson, Royal Society, £200,000, 01/12/2018-31/4/2020.
• Diagram Monoids and Their Congruences. N. Ruskuc:  EPSRC EP/S020616/1, £43,794, 2018-2021.
• Bi-synchronizing automata, outer automorphism groups of Higman-Thompson groups, and automorphisms of the shift. C. Bleak, P.Cameron: EPSRC EP/R032866/1, £524,184, 01/07/2018-30/06/2021.
• Fourier Analytic Techniques in Analysis and Geometry. J. Fraser, EPSRC EP/R015104/1, fEC £420,153, 01/04/2018 – 11/06/2021.
• Modelling and Optimisations with Graphs. C. Jefferson: EPSRC EP/P026842/1, £218,854 (part of the 3-site £673k project lead by P. Prosser).
• A Constraint Modelling Pipeline. I. Miguel, T. Kelsey, I. Gent, C. Jefferson, P. Nightingale: EPSRC EP/P015638/1, £886,923, 01/04/2017-30/09/2020.
• Discovery: Pattern Discovery and Program Shaping for Manycore Systems. K. Hammond, S. Sarkar, J. Thomson, V. Janjic: EPSRC EP/P020631/1, £366,059, 01/04/2017-31/03/2020.
• InfGroups: Foundations for computing with infinite linear groups. S. Linton, A. Detinko: Marie Skłodowska-Curie Individual Fellowship 704910, EUR 183,455, 01/05/16-30/04/18.
• OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics. EC Horizon 2020 project 676541, EUR 902,271 (part of 7.64 euro 16-site project), 01/09/2015-31/08/2019.
• Rephrase: Refactoring Parallel Heterogeneous Resource-Aware Applications. K. Hammond: EC Horizon 2020 project 644235, EUR 580,920 (part of 3.57m euro 9-site project, coordinated by K. Hammond), 01/04/2015-31/03/2018.
• CoDiMa (CCP in the area of Computational Discrete Mathematics). S. Linton, A. Konovalov: EPSRC EP/M022641/1, £294,007, 01/03/2015-29/02/2020.
• EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification.  C. Jefferson: EPSRC EP/M003728/1,  £237,768, 31/07/2014-30/07/2017.
• Constraints Between Solutions. C. Jefferson: Royal. Society University Research Fellowship, £420,911, 01/10/2013-30/09/2018.

Past research funding hold by CIRCA members since 2000:

• Type-driven Verification of Communicating Systems. E. Brady: EPSRC EP/N024222/1, £93,994.40, 01/05/16-30/04/17.
• Releasing Conjure: The Automated Constraint Modelling Tool. I.Gent, I.Miguel: EPSRC, £3,576.00, 01/01/16-31/03/17.
• Research Data Spring: Software reuse, repurposing and reproducibility. I.Gent: JISC ref.no.3553, 3732, £43,000, 30/03/2015-30/11/2015, jointly with STFC and University of Leicester.
• Medical and healthcare mobile apps based on St Andrews research. T. Kelsey: EPSRC, £16,808.07, 01/01/15-31/08/15.
• Development of portfolio-rebalancing software for the financial services investment management sector (Innovation Voucher with Butterfly Catcher Ltd). I. Miguel: Scottish Funding Council, £5,000. 10/10/2014-09/01/2015.
• Computing with semigroups of partitions. J. Mitchell: Carnegie Trust 31713, £2,320, 01/06/14-31/12/15
• Recomputation.org: Making Computational Experiments Recomputable. I. Gent: EPSRC, £35,322.76, 01/04/14-31/08/15.
• GAP 5. S. Linton: EPSRC Impact Acceleration Account, £25,209.56, 01/03/14-31/07/15.
• 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 Semigroups. N. Ruskuc: EPSRC EP/I032282/1, £97,568, 01/10/2011-31/03/2015.
• ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. K. Hammond: EC FP7 project 288570, EUR 580,698 (part of 4.06m euro 13-site EU project, coordinated by K. Hammond), 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.
• ADVANCE: Asynchronous and Dynamic Virtualisation through performance ANalysis to support Concurrency Engineering. K. Hammond: EC FP7 project 248828, EUR 329,436 (part of 4.53m euro 10-site EU project), 02/01/2010-30/09/2013.
• A constraint solver synthesizer. IJ Miguel, D Balasubramaniam, IP Gent, SA Linton: EPSRC EP/H004092/1, £929,076, 01/10/2009-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.
• Finite derivation type for Schutzenberger groups of monoids. R. Gray: British Council, £1,000.00, 01/04/09 – 31/03/10.
• Semigroups of Mappings: Set Theoretic Analytic and Combinatorial Aspects. J. Mitchell: EPSRC EP/G016992/1, £3,747.00, 01/09/08 – 31/01/10.
• 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, 24/01/2008 – 23/08/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.
• Dorothy Hodgkin Fellowship. P.E. Holmes: The Royal Society 502008.K588/kk, £86,689.00, 01/10/05 – 31/08/07.
• 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.
• 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.
• Semigroups and Monoids in GAP. Ruskuc, N, Linton, SA, Robertson, EF. Grant: EPSRC GR/S56085/01, £144,327, 1/1/2004 – 31/12/2006.
• 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.
• 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.
• 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.