Name:	Professor S Linton
Organisation:	University of St Andrews
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/M022641/1 CoDiMa (CCP in the area of Computational Discrete Mathematics) (P) EP/I03582X/1 Solving word problems via generalisations of small cancellation (C) EP/H004092/1 A Constraint Solver Synthesiser (C) EP/G055181/1 HPC-GAP: High Performance Computational Algebra and Discrete Mathematics (P) EP/P504732/1 DTA - University of St Andrews (C) EP/P503884/1 DTA - University of St Andrews (C) EP/P50273X/1 DTA - University of St Andrews (C) EP/P501768/1 DTA - University of St Andrews (C) EP/C523229/1 Multidisciplinary Critical Mass in Computational Algebra and Applications (P) EP/P500486/1 DTA - University of St Andrews (C) GR/S86037/01 Network: Symmetry and Search Network (P) GR/S56085/01 Semigroups & Monoids in GAP (C) GR/S53503/01 Applications of Automata and Languages in the Theory of Pattern Classes of Permutations (C) GR/P03186/01 DTA - University of St Andrews (C) GR/S30580/01 Symmetry and Inference (P) GR/S30658/01 Modelling Symmetries in Constraint Programming (C) GR/R91298/01 Computational Algebra for Commodity Parallel Machines (C) GR/S15198/01 Support for Preparation of a Proposal for a European Network of Excellence in Symbolic Computation (ENESCO) FP6 - NETWORK: (P) GR/P01212/01 DTA - University of St Andrews (C) GR/R29666/01 Constraint Programming, Search and Symmetry (C) GR/P00499/01 DTA - University of St Andrews (C) GR/M32351/01 JREI:DISTRBUTED SOFTWARE SYSTEMS (C) GR/L48256/01 EMBEDDED VERIFICATION TECHNIQUES FOR COMPUTER ALGEBRA SYSTEMS (C) GR/L21013/01 DEVELOPMENT AND APPPLICATION OF THE GAP SYSTEM (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator