Computer Science @ University of St Andrews

University of St Andrews crest

Research

  • Academics in robes with Vint Cerf
  • Lecture on web technologies
  • First year lecture
  • MSc students in the lab
  • MSc students in the lab
  • Undergraduate tutorial
  • Lecture
  • 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
  • Blue sky thinking
  • Lecture
  • The Jack Cole building
  • Staff discussion

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 including cloud computing and distributed systems, next-generation internet, sensor 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.
  • Health Informatics focusing on biomedical models, hypotheses, and systems for future biomedical research projects using data from both studies and simulations.

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

Plug and Play Bench: simplifying big data benchmarking using containers

Ceesay, S, Barker, AD & Varghese, B 2017, Plug and Play Bench: simplifying big data benchmarking using containers. in 2017 IEEE International Conference on Big Data (IEEE BigData 2017). IEEE Computer Society, Workshop on Benchmarking, Performance Tuning and Optimization for Big Data Applications (BPOD), Boston, United States, 11-14 December.

MAMoC: Multisite Adaptive offloading framework for Mobile Cloud applications

Sulaiman, DJ & Barker, AD 2017, MAMoC: Multisite Adaptive offloading framework for Mobile Cloud applications. in 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017). IEEE, 9th IEEE International Conference on Cloud Computing Technology and Science, Hong Kong, China, 11-14 December.

A survey and taxonomy of resource optimisation for executing Bag-of-Task applications on public clouds

Baseline fusion for image an pattern recognition - what not to do (and how to do better)

Computer-aided parameter selection for resistance exercise using machine vision-based capability profile estimation

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Pulte, C, Flur, S, Deacon, W, French, J, Sarkar, S & Sewell, P 2018, Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8. in Proceedings of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '18). vol. 2, 19, ACM, New York, POPL '18 45th ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, United States, 7-13 January. DOI: 10.1145/3158107

Technical rigour, exaggeration, and peer reviewing in the publishing of medical research

Texture features for object salience

The heating of solar coronal loops by Alfvèn wave turbulence

Strategies for informed sample size reduction in adaptive controlled clinical trials