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 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.

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.

Recent Publications

Towards semi-automatic data-type translation for parallelism in Erlang

Barwell, AD, Brown, CM, Castro, D & Hammond, K 2016, 'Towards semi-automatic data-type translation for parallelism in Erlang'. in Proceedings of the 15th ACM SIGPLAN Workshop on Erlang. ACM Press - Association for Computing Machinery, 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, 23-23 September.

Micro-dose hCG as luteal phase support without exogenous progesterone administration: mathematical modelling of the hCG concentration in circulation and initial clinical experience

Timing properties and correctness for structured parallel programs on x86-64 multicores

Ten Simple Rules for taking advantage of Git and GitHub

Perez-Riverol, Y, Gatto, L, Wang, R, Sachsenberg, T, Uszkoreit, J, da Veiga Leprevost, F, Fufezan, C, Ternent, T, Eglen, SJ, Katz, DS, Pollard, TJ, Konovalov, A, Flight, RM, Blin, K & VizcaĆ­no, JA 2016, 'Ten Simple Rules for taking advantage of Git and GitHub' PLoS Computational Biology, vol 12, no. 7, e1004947., 10.1371/journal.pcbi.1004947, 10.1101/048744

Control plane handoff analysis for IP mobility

Phoomikiattisak, D & Bhatti, SN 2016, 'Control plane handoff analysis for IP mobility'. in 2016 9th IFIP Wireless and Mobile Networking Conference (WMNC). IEEE, 9th IFIP Wireless and Mobile Networking Conference - WMNC, Colmar, France, 11-13 July.

ABVD chemotherapy for lymphoma affects number and morphology of primordial follicles in the adolescent and adult ovary

Detecting abnormal events on binary sensors in smart home environments

The ASPECTA toolkit: affordable Full Coverage Displays

Petford, J, Nacenta, M, Gutwin, C, Eremondi, J & Ede, C 2016, 'The ASPECTA toolkit: affordable Full Coverage Displays'. in Proceedings of the 5th ACM International Symposium on Pervasive Displays. ACM Press - Association for Computing Machinery, pp. 87-105, 5th ACM International Symposium on Pervasive Displays, Oulu, Finland, 20-22 June., 10.1145/2914920.2915006

A validated normative model for human uterine volume from birth to age 40 years

Kelsey, TW, Ginbey, E, Chowdhury, MM, Bath, LE, Anderson, RA & Wallace, WHB 2016, 'A validated normative model for human uterine volume from birth to age 40 years' PLoS One, vol 11, no. 6, e0157375., 10.1371/journal.pone.0157375

Fairer citation based metrics