Computer Science @ University of St Andrews

University of St Andrews crest

Research

  • Academics in robes with Vint Cerf
  • The Jack Cole building
  • First year lecture
  • MSc students in the lab
  • Examples in a lecture
  • Undergraduate tutorial
  • Blue sky thinking
  • MSc students enjoying a sunny day
  • MSc students at the summer BBQ
  • First year students in a lab-based excersise class
  • MSc students in the snow after November graduation
  • MSc students after graduation
  • Undergraduate students after summer graduation

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.

We are currently advertising funded PhD studentships. We are interested in applications from all our research themes, and also provide a list of specific potential projects suggested by our academics.

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.

If you are interested in doing a PhD, see our research students. We may have studentships available for excellent students, including research studentships in cloud computing.

Recent Publications

Spatial awareness in pervasive ecosystems

Dobson, SA , Viroli, M, Fernandez-Marquez, J-L, Zambonelli, F, Stevenson, GT, di Marzo Serugendo, G, Montagna, S, Pianini, D , Ye, J , Castelli, G & Rosi, A 2016, ' Spatial awareness in pervasive ecosystems ' The Knowledge Engineering Review .

High-level heterogeneous and hierarchical parallel systems (HLPGPU 2014)

Brown, CM 2015, ' High-level heterogeneous and hierarchical parallel systems (HLPGPU 2014) ' International Journal of Parallel Programming , vol 43, no. 5, pp. 892-893.

Speculative practices: utilizing InfoVis to explore untapped literary collections

Hinrichs, U , Forlini, S & Moynihan, B 2015, ' Speculative practices: utilizing InfoVis to explore untapped literary collections ' IEEE Transactions on Visualization and Computer Graphics .

Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

Nightingale, P , Spracklen, P & Miguel, IJ 2015, ' Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row '. in G Pesant (ed.), Principles and Practice of Constraint Programming: Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015). vol. 9255, Lecture Notes in Computer Science, Springer, 21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, Ireland, 31-4 September.

The creation of an administrative data based 1936 birth cohort study

Huang, Z , Dibben, CJL , Kirby, GNC , Deary, I , Popham, F & Connelly, R 2015, ' The creation of an administrative data based 1936 birth cohort study ' Farr Institute International Conference on Data Intensive Health Research and Care, St Andrews, United Kingdom, 26/08/15 - 28/08/15 , .

Automatic extraction of multiple underlying causes from textual death records

Kirby, GNC , Hajiarabderkani, M , Dearle, A , Carson, JK , Dunlop, FRJ , Dibben, CJL & Williamson, L 2015, ' Automatic extraction of multiple underlying causes from textual death records ' Farr Institute International Conference on Data Intensive Health Research and Care, St Andrews, United Kingdom, 26/08/15 - 28/08/15 , .

Perceptual and social challenges in body proximate display ecosystems

Quigley, AJ & Grubert, J 2015, ' Perceptual and social challenges in body proximate display ecosystems '. in Adjunct Proceedings of MobileHCI 2015 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. ACM Press - Association for Computing Machinery, Mobile Collocated Interactions with Wearables: Workshop at MobileHCI 2015, Copenhagen, Denmark, 24 August.

Design and technology challenges for body proximate display ecosystems

Grubert, J, Kranz, M & Quigley, AJ 2015, ' Design and technology challenges for body proximate display ecosystems '. in Adjunct Proceedings of MobileHCI 2015 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. ACM Press - Association for Computing Machinery.

Some challenges for ethics in social network research

Hutton, L & Henderson, T 2015, ' Some challenges for ethics in social network research '. in Proceedings of the 2015 ACM SIGCOMM Workshop on Ethics in Networked Systems Research. ACM, pp. 13-15, Workshop on Ethics in Networked Systems Research, London, United Kingdom, 21-21 August.

HTTP/2 and QUIC for virtual worlds and the 3D Web?

Bakri, H , Allison, C , Miller, AHD & Oliver, IA 2015, ' HTTP/2 and QUIC for virtual worlds and the 3D Web? '. in The 10th International Conference on Future Networks and Communications (FNC 2015). Elsevier B.V, The 10th International Conference on Future Networks and Communications (FNC 2015), Belfort, France, 17-20 August.