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.
Zhao, Y, Ye, J & Henderson, T
2016, A robust reputation-based location-privacy recommender system using opportunistic networks
. in Proceedings of The 8th EAI International Conference on Mobile Computing, Applications and Services.
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Springer, 8th EAI International Conference on Mobile Computing, Applications and Services, Cambridge, United Kingdom, 30-1 December.
Botta, N, Jansson, P, Ionescu, C, Christiansen, D & Brady, EC
2016, 'Sequential decision problems, dependent types and generic solutions
' Logical Methods in Computer Science
Brown, CM, Hammond, K
, Barwell, AD, Janjic, V
, Turek, W, Stypka, J, Byrski, A & Kisiel-Dorohinicki, M 2016, 'The Missing Link! A new Skeleton for Evolutionary Multi-Agent Systems in Erlang
' International Journal of Parallel Programming
Flur, S, Sarkar, S
, Pulte, C, Nienhuis, K, Maranget, L, Gray, K, Sezgin, A, Batty, M & Sewell, P 2016, Mixed-size Concurrency: ARM, POWER, C/C++11, and SC
. in Proceedings of the 44th annual ACM-SIGPLAN Symposium on Principles of programming languages.
ACM Press - Association for Computing Machinery, POPL'17 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 18-20 January.
El Issaoui, M, Giorgine, V, Mamsen, LS, Rechnitzer, C, Birkebæk, N, Clausen, N, Kelsey, TW
& Andersen, CY 2016, 'Effect of first line cancer treatment on the ovarian reserve and follicular density in girls under the age of 18 years
' Fertility and Sterility
, vol In press. DOI: 10.1016/j.fertnstert.2016.09.001
Webber, T, Caminati, MB
, Mueller, M, Redeker, G, Bowles, JKF
, Czekster, R & Quickert, S
2016, 'Aplicação de técnicas quantitativas de modelagem na busca da eficiência de processos hospitalares
Barwell, AD, Brown, CM
, Castro, D & Hammond, K
2016, Towards semi-automatic data-type translation for parallelism in Erlang
. in Proceedings of the 15th International Workshop on Erlang.
ACM Press - Association for Computing Machinery, New York, pp. 60-61, 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, 23-23 September. DOI: 10.1145/2975969.2975978
Behrends, R, Hammond, K, Janjic, V, Konovalov, A, Linton, SA, Loidl, H-W
, Maier, P & Trinder, P 2016, 'HPC-GAP: engineering a 21st-century High-Performance Computer algebra system
' Concurrency and Computation : Practice and Experience
, vol 28, no. 13, pp. 3606-3636. DOI: 10.1002/cpe.3746