EPSRC logo
Researcher Details
 
Name: Professor S Linton
Organisation: University of St Andrews
Department: Computer Science
Current EPSRC-Supported Research Topics:
Algebra & Geometry Logic & Combinatorics

Current EPSRC Support
EP/M022641/1 CoDiMa (CCP in the area of Computational Discrete Mathematics)(P)
Previous EPSRC Support
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