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

Kindergarten Cop: dynamic nursery resizing for GHC

Ferreiro, H, Castro, L, Janjic, V & Hammond, K 2016, 'Kindergarten Cop: dynamic nursery resizing for GHC' Paper presented at 25th International Conference on Compiler Construction, Barcelona, Spain, 17/03/16 - 18/03/16, pp. 1-11.

Modelling the ARMv8 architecture, operationally: concurrency and ISA

Flur, S, Gray, K, Pulte, C, Sarkar, S, Maranget, L, Sezgin, A, Deacon, W & Sewell, P 2016, 'Modelling the ARMv8 architecture, operationally: concurrency and ISA'. in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press - Association for Computing Machinery, POPL '16 The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St Petersburg, Florida, United States, 20-22 January.

Model checking cancer automata

Bowles, JKF & Silvina, A 2016, 'Model checking cancer automata'. in IEEE International Conference on Biomedical and Health Informatics (BHI). IEEE, BHI-2016 International Conference on Biomedical and Health Informatics, Las Vegas, United States, 24-27 February.

Open badges: a best-practice framework

Voogt, L, Dow, L & Dobson, SA 2016, 'Open badges: a best-practice framework'. in Proceedings of the SAI Computing Conference. London.

HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

Accuracy of circulating adiponectin for predicting gestational diabetes: a systematic review and meta-analysis

Understanding and overcoming the sticking point in resistance exercise

Fertility preservation in pre-pubertal girls with cancer: the role of ovarian tissue cryopreservation

Diving in at the deep end: the value of alternative in-situ approaches for systematic library search

Hinrichs, U, Butscher, S, Mueller, J & Reiterer, H 2016, 'Diving in at the deep end: the value of alternative in-situ approaches for systematic library search'. in Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI). ACM Press - Association for Computing Machinery, New York, CHI'16, San Jose, CA, United States, 7-12 May., 10.1145/2858036.2858549

The Elicitation Interview Technique: Capturing People’s Experiences of Data Representations