Computer Science @ University of St Andrews

University of St Andrews crest

Research

  • Jack Cole Building.
  • CS students after graduation.
  • Server.
  • Jack Cole student lab.
  • Philip Lee lab - Honours lab
  • John Honey teaching lab
  • Jack Cole student lab

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 engineering, system dependability, social informatics and functional programming.
  • Human Computer Interaction including pervasive and ubiquitous computing, input and output technologies, intelligent interactive systems and visualisation .

The School is a member of SICSA - The Scottish Informatics and Computer Science Alliance

We encourage and value collaborative and multi-disciplinary research and have recently established the St Andrews Co-laboratory on Cloud Computing (StACC), a research collaboration that brings researchers from a range of backgrounds together to work on cloud computing research problems.

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

Designing the Unexpected: Endlessly Fascinating Interaction for Interactive Installations

MacDonald, L, Brosz, J , Nacenta, M & Carpendale, S 2015, ' Designing the Unexpected: Endlessly Fascinating Interaction for Interactive Installations '. in Proceedings of TEI 2015. Tangible and Embedded Interaction, ACM Press - Association for Computing Machinery, TEI 2015: 9th International Conference on Tangible, Embedded and Embodied Interaction, Stanford, United States, 15-19 January.

Type-based Allocation Analysis for Co-Recursionin Lazy Functional Languages

Vasconcelos, PB , Jost, S , Florido, M & Hammond, K 2015, ' Type-based Allocation Analysis for Co-Recursionin Lazy Functional Languages '. in European Symposium on Programming 2015 (ESOP). Lecture Notes in Computer Science (LNCS), Springer-Verlag.

Privacy-Aware Location Privacy Preference Recommendations

Zhao, Y , Ye, J & Henderson, T 2014, ' Privacy-Aware Location Privacy Preference Recommendations '. in Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous). pp. 120-129.

USMART: an unsupervised semantic mining activity recognition technique

Ye, J , Stevenson, GT & Dobson, SA 2014, ' USMART: an unsupervised semantic mining activity recognition technique ' ACM Transactions on Intelligent Interaction Systems , vol 4, no. 4, 16.

User-defined interface gestures: dataset and analysis

Grijincu, D , Nacenta, M & Kristensson, PO 2014, ' User-defined interface gestures: dataset and analysis '. in Proceedings of the 9th ACM International Conference on Interactive Tabletops and Surfaces (ITS 2014). ACM Press - Association for Computing Machinery, New York, NY, pp. 25-34.

Fast, secure failover for IP

Bhatti, SN , Phoomikiattisak, D & Atkinson, RJ 2014, ' Fast, secure failover for IP '. in Proceedings - IEEE Military Communications Conference MILCOM. pp. 274-281.

A view from the hill: Where cross reality meets virtual worlds

Davies, CJ , Miller, AHD & Allison, C 2014, ' A view from the hill: Where cross reality meets virtual worlds '. in Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST. pp. 213.

Help save the planet: Please do adjust your picture

Ejembi, O & Bhatti, SN 2014, ' Help save the planet: Please do adjust your picture '. in MM 2014 - Proceedings of the 2014 ACM Conference on Multimedia. pp. 427-436.

Erratum to: Presence and digital tourism

Benyon, D , Quigley, A , O’Keefe, B & Riva, G 2014, ' Erratum to: Presence and digital tourism ' AI & SOCIETY , vol 29, no. 4, pp. 531.

A validated age-related normative model for male total testosterone shows increasing variance but no decline after age 40 years

Kelsey, TW , Li, LQ, Mitchell, RT, Whelan, A, Anderson, RA & Wallace, WHB 2014, ' A validated age-related normative model for male total testosterone shows increasing variance but no decline after age 40 years ' PLoS One , vol 9, no. 10, e109346.