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
  • MSc students in the lab
  • Undergraduate tutorial
  • Blue sky thinking
  • MSc students enjoying a sunny day
  • MSc students at the summer BBQ
  • First year students in a lab-based exercise 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.

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.

Recent Publications

Contextual Consent: Ethical Mining of Social Media for Health Research

Norval, C & Henderson, T 2016, Contextual Consent: Ethical Mining of Social Media for Health Research. in Proceedings of the WSDM 2017 Workshop on Mining Online Health Reports.

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, vol 31, no. 4, pp. 343-366. DOI: 10.1017/S0269888916000199

Mind the gap: addressing behavioural inconsistencies with formal methods

Bowles, JKF & Caminati, MB 2016, Mind the gap: addressing behavioural inconsistencies with formal methods. in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE Computer Society, 23rd Asia-Pacific Software Engineering Conference, Hamilton, New Zealand, 6-9 December.

Non-growing follicle density is increased following adriamycin, bleomycin, vinblastine and dacarbazine (ABVD) chemotherapy in the adult human ovary

IP without IP addresses

Bhatti, SN, Phoomikiattisak, D & Simpson, B 2016, IP without IP addresses. in Asian Internet Engineering Conference Bangkok, Thailand — November 30 - 2 December, 2016. ACM Press - Association for Computing Machinery, New York, 12th Asian Internet Engineering Conference (AINTEC), Bangkok, Thailand, 30-2 December. DOI: 10.1145/3012695.3012701

A robust reputation-based location-privacy recommender system using opportunistic networks

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. ACM, 8th EAI International Conference on Mobile Computing, Applications and Services, Cambridge, United Kingdom, 30-1 December. DOI: 10.4108/eai.30-11-2016.2267031

Effect of first line cancer treatment on the ovarian reserve and follicular density in girls under the age of 18 years

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 106, no. 7, pp. 1757–1762.e1. DOI: 10.1016/j.fertnstert.2016.09.001

Detecting abnormal events on binary sensors in smart home environments

The Elicitation Interview technique: capturing people’s experiences of data representations

Type-based cost analysis for lazy functional languages