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.
- Networked and distributed systems including distributed and autonomic systems, middleware, network design and architecture, wireless and sensor networks, performance measurement and distributed learning environments.
- Systems engineering including software architecture and cloud computing.
- 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.
Ferreiro, H, Castro, L, Janjic, V & Hammond, K
2016, 'Kindergarten Cop: dynamic nursery resizing for GHC
' Paper presented at 25th International Conference on Compiler Construction, Barcelona, Spain, 17/03/16
, pp. 1-11.
Flur, S, Gray, K, Pulte, C, Sarkar, S
, Maranget, L, Sezgin, A, Deacon, W & Sewell, P 2016, 'Modelling the ARMv8 architecture, operationally: concurrency and ISA
'. in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
ACM Press - Association for Computing Machinery, POPL '16 The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St Petersburg, Florida, United States, 20-22 January.
& Silvina, A 2016, 'Model checking cancer automata
'. in IEEE International Conference on Biomedical and Health Informatics (BHI).
IEEE, BHI-2016 International Conference on Biomedical and Health Informatics, Las Vegas, United States, 24-27 February.
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 Early View., 10.1002/cpe.3746
Iliodromiti, S, Sassarini, J, Kelsey, T
, Lindsay, R, Sattar, N & Nelson, S 2016, 'Accuracy of circulating adiponectin for predicting gestational diabetes: a systematic review and meta-analysis
, vol First online., 10.1007/s00125-015-3855-6
Mann, A-M, Hinrichs, U
, Read, JC & Quigley, AJ
2016, 'Facilitator, Functionary, Friend or Foe? Studying the Role of iPads within Learning Activities Across a School Year.
'. in Proceedings of the ACM SIGCHI Conference Conference on Human Factors in Computing Systems (CHI'16) .
ACM Press - Association for Computing Machinery, CHI'16, San Jose, CA, United States, 7-12 May.
, Butscher, S, Mueller, J & Reiterer, H 2016, 'Diving in at the deep end: the value of alternative in-situ approaches for systematic library search
'. in Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI).
ACM Press - Association for Computing Machinery, New York, CHI'16, San Jose, CA, United States, 7-12 May., 10.1145/2858036.2858549