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.
Alzayat, A, Hancock, M & Nacenta, M
2017, Measuring readiness-to-hand through differences in attention to the task vs. attention to the tool
. in Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces (ISS '17).
ACM, pp. 42-51, Interactive Surfaces aand Spaces, Brighton, United Kingdom, 17-20 October. DOI: 10.1145/3132272.3134114
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, pp. 97-105. DOI: 10.1016/j.scitotenv.2017.04.058
Banks, C, Elver, M, Hoffmann, R, Sarkar, S
, Jackson, P & Nagarajan, V 2017, Verification of a lazy cache coherence protocol against a weak memory model
. in Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD).
ACM, Formal Methods in Computer-Aided Design (FMCAD), Vienna, Austria, 2-6 October.
Nightingale, P, Akgün, Ö, Gent, IP, Jefferson, C, Miguel, I
& Spracklen, P 2017, 'Automatically improving constraint models in Savile Row
' Artificial Intelligence
, vol 251, pp. 35-61. DOI: 10.1016/j.artint.2017.07.001
Karsten, J & Arandelovic, O
2017, Automatic vertebrae localization from CT scans using volumetric descriptors
. in 2017 IEEE 39th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC).
, 8036890, IEEE, pp. 576-579, 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2017, Jeju Island, Korea, Democratic People's Republic of, 11-15 July. DOI: 10.1109/EMBC.2017.8036890
Yeo, HS, Lee, J, Bianchi, A, Harris-Birtill, D & Quigley, AJ
2017, SpeCam: sensing surface color and material with the front-facing camera of mobile device
. in Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services.
, 25, ACM, New York, NY, 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, Vienna, Austria, 4-7 September. DOI: 10.1145/3098279.3098541