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 including cloud computing and distributed systems, next-generation internet, sensor 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.
- Health Informatics focusing on biomedical models, hypotheses, and systems for future biomedical research projects using data from both studies and simulations.
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.
Akgün, Ö, Dearle, A, Kirby, GNC
, Garrett, E, Dalton, TS
, Christen, P, Dibben, CJL & Williamson, LEP 2019, 'Linking Scottish vital event records using family groups
' Historical Methods: a Journal of Quantitative and Interdisciplinary History
. DOI: 10.1080/01615440.2019.1571466
Costa-Gomes, M, Cueva, C, Gerasimou, G
& Tejiscak, M 2019 'Choice, deferral and consistency
' School of Economics & Finance Discussion Paper, no. 1416, University of St Andrews, St Andrews, pp. 1-45.
Zemaityte, G & Terzic, K
2019, Supervisor recommendation tool for Computer Science projects
. in Proceedings of the 3rd Conference on Computing Education Practice (CEP '19) .
, 1, ACM, New York, Computing Education Practice, Durham, United Kingdom, 9/01/19
. DOI: 10.1145/3294016.3294030
Schwaab, CJ, Komendantskaya, E
, Hill, A, Farka, F, Petrick, R, Wells, J & Hammond, K
2019, Proof-carrying plans
. in JJ Alferes & M Johansson (eds), Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings.
Lecture Notes in Computer Science (Programming and Software Engineering), vol. 11372, Springer, Cham, pp. 204-220, 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019), Lisbon, Portugal, 14/01/19
. DOI: 10.1007/978-3-030-05998-9_13
Li, W, Fayed, M
, Oteafy, SMA & Hassanein, HS 2018, 'A cache-level quality of experience metric to characterize ICNs for adaptive streaming
' IEEE Communications Letters
, vol. 23, no. 2, 8594670, pp. 262-265. DOI: 10.1109/LCOMM.2018.2890223
Yeo, HS, Minami, R, Rodriguez, K, Shaker, G & Quigley, AJ
2018, 'Exploring tangible interactions with radar sensing
' Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies
, vol. 2, no. 4, 200. DOI: 10.1145/3287078