Computer Science @ University of St Andrews

University of St Andrews crest

Prof Steve Linton

Prof Steve Linton

Head of School

Position: Professor

Research profile

Email (@st-andrews.ac.uk): sl4

Office: JC1.32 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3269

Home page: https://sal.host.cs.st-andrews.ac.uk

Research Overview

My background is in formal pure mathematics, with a great deal of computer experience. My research covers the application of computers to problems, in abstract algebra, I work on developing general algorithms such as vector numeration, on applying known algorithms and mathematical ingenuity to solve specific large problems such as finding the maximal subgroups of very large sporadic groups, and on the development of the GAP (groups, algorithms and programming) system.


For a mathematician, I am very practically minded. I have little interest in developing algorithms in the abstract without attempting to implement them and I write programs to produce the best possible performance rather than simply to demonstrate the algorithms


I am Director of the Centre for Interdisciplinary Research in Computational Algebra (CIRCA) at the University of St Andrews. The Centre undertakes mathematical research with computer assistance, develops new techniques for computation in abstract algebra and develops and distributes software implementing these techniques. The Centre also organises conferences, seminars and training courses and coordinates the international efforts to develop maintain and promote the GAP (groups, algorithms and programming) software package.

Recent Publications

HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

S-crucial and bicrucial permutations with respect to squares

Identifying long cycles in finite alternating and symmetric groups acting on subsets

Towards the calculation of Casimir forces for inhomogeneous planar media

Xiong, C, Kelsey, T, Linton, SA & Leonhardt, U 2014, Towards the calculation of Casimir forces for inhomogeneous planar media. in R Feng, W Lee & Y Sato (eds), Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Springer, pp. 171-180. DOI: 10.1007/978-3-662-43799-5_15

Generating custom propagators for arbitrary constraints

Qualitative modelling via constraint programming

S-crucial and bicrucial permutations with respect to squares

Space exploration using parallel orbits: a study in parallel symbolic computing

Janjic, V, Brown, CM, Neunhoeffer, M, Hammond, K, Linton, SA & Loidl, H-W 2013, Space exploration using parallel orbits: a study in parallel symbolic computing. in M Bader, A Bode, H-J Bungartz, M Gerndt, GR Joubert & F Peters (eds), Parallel Computing: Accelerating Computational Science and Engineering (CSE). vol. 25, Advances in Parallel Computing, IOS Press, pp. 225-232. DOI: 10.3233/978-1-61499-381-0-225

Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

Casimir forces for inhomogeneous planar media

Xiong, C, Kelsey, T, Linton, SA & Leonhardt, U 2013, Casimir forces for inhomogeneous planar media. in Journal of Physics: Conference Series. 1 edn, vol. 401, Journal of Physics: Conference Series, no. 1, vol. 410. DOI: 10.1088/1742-6596/410/1/012165