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.
Hogan, T, Hinrichs, U
, Jansen, Y, Huron, S, Gourlet, P, Hornecker, E & Nissen, B 2017, Pedagogy & physicalization: designing learning activities around physical data representations
. in Proceedings of the 2017 ACM Conference Companion Publication on Designing Interactive Systems (DIS'17).
ACM, Conference on Designing Interactive Systems (DIS'17), Edinburgh, United Kingdom, 11-11 June. DOI: 10.1145/3064857.3064859
Huron, S, Gourlet, P, Hinrichs, U
, Hogan, T & Jansen, Y 2017, Let’s get physical: promoting data physicalization in workshop formats
. in Proceedings of the 2017 ACM Conference on Designing Interactive Systems (DIS'17).
ACM, ACM SIGCHI Conference on Designing Interactive Systems, Edinburgh, United Kingdom, 10-14 June. DOI: 10.1145/3064663.3064798
Hogan, T, Hinrichs, U
& Hornecker, E 2017, The visual and beyond: characterizing experiences with auditory, haptic and visual data representations
. in Proceedings of the 2017 Conference on Designing Interactive Systems (DIS'17).
ACM, Designing Interactive Systems, Edinburgh, United Kingdom, 10-14 June. DOI: 10.1145/3064663.3064702
Nigri, E & Arandelovic, O
2017, Light curve analysis from Kepler spacecraft collected data
. in International Conference on Multimedia Retrieval, Bucharest, Romania — June 06 - 09, 2017.
ACM, New York, ACM International Conference on Multimedia Retrieval (ICMR 2017), Bucharest, Romania, 6-9 June. DOI: 10.1145/3078971.3080544
Jost, S, Vasconcelos, P, Florido, M & Hammond, K
2017, 'Type-based cost analysis for lazy functional languages
' Journal of Automated Reasoning
, vol 59, no. 1, pp. 87-120. DOI: 10.1007/s10817-016-9398-9
Akgun, O, Dearle, A
, Garrett, E & Kirby, GNC
2017, 'Learning From Past Links: Understanding the Limits of Linkage Quality
' British Society for Population Studies Annual Conference 2017, Liverpool, United Kingdom, 6/09/17