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

Virtual Worlds and the 3D Web – time for convergence?

Bakri, H, Allison, C, Miller, AHD & Oliver, IA 2016, 'Virtual Worlds and the 3D Web – time for convergence?'. in CA, L Morgado, J Pirker, D Beck, J Richter & C Guetl (eds), Immersive Learning Research Network: Second International Conference, iLRN 2016, Santa Barbara, CA, USA, June 27 - July 1, 2016, Proceedings. Communications in Computer and Information Science, vol. 621, Springer, iLRN 2016 Conference, Santa Barbara, United States, 27-1 July.

Investigation of Virtual Network Isolation security in Cloud computing: data leakage issues

Al Nasseri, HMK & Duncan, IMM 2016, 'Investigation of Virtual Network Isolation security in Cloud computing: data leakage issues' Paper presented at International Conference of Big Data in Cybersecurity, Edinburgh, United Kingdom, 10/05/16 - 10/05/16, .

Intuitionistic decision procedures since Gentzen

Dyckhoff, R 2016, 'Intuitionistic decision procedures since Gentzen'. in R Kahle, T Strahm & T Studer (eds), Advances in Proof Theory. Progress in Computer Science and Applied Logic, vol. 28, Birkhäuser Basel, pp. 245-267, apt13 Advances in Proof Theory, Bern, Switzerland, 13-14 December., 10.1007/978-3-319-29198-7_6

Adult dental anxiety: recent assessment approaches and psychological management in a dental practice setting

Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations

Phillips, K-A, Collins, IM, Milne, RL, McLachlan, SA, Friedlander, M, Hickey, M, Stern, C, Hopper, JL, Fisher, R, Kannemeyer, G, Picken, S, Smith, CD, Kelsey, TW & Anderson, RA 2016, 'Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations' Human Reproduction, vol Advance Access., 10.1093/humrep/dew044

A normative model of serum inhibin B in young males

Kelsey, TW, Miles, A, Mitchell, RT, Anderson, R & Wallace, WHB 2016, 'A normative model of serum inhibin B in young males' PLoS One, vol 11, no. 4, e0153843, pp. 1-10., 10.1371/journal.pone.0153843

Weaving true-concurrent aspects using constraint solvers

Bowles, JKF, Bordbar, B & Alwanain, M 2016, 'Weaving true-concurrent aspects using constraint solvers'. in 2016 16th International Conference on Application of Concurrency to System Design. IEEE Computer Society, PN 2016 // ACSD 2016, Toruń, Poland, 19-24 June.

Highly accurate gaze estimation using a consumer RGB-depth sensor

Ghiass, R & Arandelovic, O 2016, 'Highly accurate gaze estimation using a consumer RGB-depth sensor'. in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York City, USA, 9–15 July 2016. AAAI Press, 25th International Joint Conference on Artificial Intelligence, New York, United States, 9-15 July.

Container-based Cloud Virtual Machine benchmarking

Varghese, B, Subba, LT, Thai, LT & Barker, AD 2016, 'Container-based Cloud Virtual Machine benchmarking'. in Proceedings of the IEEE International Conference on Cloud Engineering (IC2E) 2016. IEEE Computer Society, IEEE International Conference on Cloud Engineering (IC2E) 2016, Berlin, Germany, 4-8 April.

Prediction of future hospital admissions - what is the tradeoff between specificity and accuracy?

Arandelovic, O & Vasiljeva, I 2016, 'Prediction of future hospital admissions - what is the tradeoff between specificity and accuracy?'. in International Conference on Bioinformatics and Computational Biology.