We are a top-class group of researchers with interests in a wide range of areas of theoretical and practical computer science.
All our academic staff are research active, working with a team of post-graduate and post-doctoral researchers and a lively population of research students.
See our directory of staff and research students.
Our research focuses on core themes of theoretical and practical computer science:
- Artificial intelligence and symbolic computation including constraint programming, computational algebra and computational logic and natural language processing, image processing and robotics.
- Computer systems engineering including software architecture cloud computing and next-generation internet, programming models for distributed systems, pervasive systems and data linkage analysis.
- Human Computer Interaction including pervasive and ubiquitous computing, input and output technologies, intelligent interactive systems and visualisation.
- Programming languages with an emphasis on type systems and parallelism in functional programming languages.
The School is a member of SICSA - The Scottish Informatics and Computer Science Alliance.
We have research support from a range of funding bodies including the Engineering and Physical Sciences Research Council (EPSRC), the European Commission and Industry.
All School publications are published via the University of St Andrews Research Portal.
Search Publications from the School of Computer Science
See also: completed Computer Science PhD theses.
Stypka, J, Turek, W, Byrski, A, Kisiel-Dorohinicki, M, Barwell, AD, Brown, CM, Hammond, K & Janjic, V
2017, 'The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang
' International Journal of Parallel Programming
, vol First Online. DOI: 10.1007/s10766-017-0503-4
Mamsen, LS, Jönsson, BAG, Lindh, CH, Olesen, RH, Larsen, A, Ernst, E, Kelsey, TW
& Andersen, CY 2017, 'Concentration of perfluorinated compounds and cotinine in human foetal organs, placenta, and maternal plasma
' Science of the Total Environment
, vol 596-597. DOI: 10.1016/j.scitotenv.2017.04.058
Fare, C & Arandelovic, O
2017, Ancient roman coin retrieval: a systematic examination of the effects of coin grade
. in JM Jose, C Hauff, IS Altıngovde , D Song, D Albakour, S Watt & J Tait (eds), Advances in Information Retrieval: 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings.
Lecture Notes in Computer Science, vol. 10193, Springer, Cham, pp. 410-423, 39th European Conference on IR Research, Aberdeen, United Kingdom, 9-13 April. DOI: 10.1007/978-3-319-56608-5_32
Bächle, A, Herman, A, Konovalov, A
, Margolis, L & Singh, G 2017, 'The status of the Zassenhaus conjecture for small groups
' Experimental Mathematics
, vol Latest Articles. DOI: 10.1080/10586458.2017.1306814
Abu-Tair, M & Bhatti, SN
2017, Impact of cell load on 5GHz IEEE 802.11 WLAN
. in 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA).
Institute of Electrical and Electronics Engineers Inc., PAEWN 2017 - 12th Intl. Wkshp. Performance Analysis and Enhancement of Wireless Networks, Taipei, Taiwan, Province of China, 27-29 March.