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

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.

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.

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

Lapedo: hybrid skeletons for programming heterogeneous multicore machines in Erlang

Janjic, V, Brown, CM & Hammond, K 2016, 'Lapedo: hybrid skeletons for programming heterogeneous multicore machines in Erlang'. in GR Joubert, H Leather, M Parsons, F Peters & M Sawyer (eds), Parallel Computing: On the Road to Exascale. Advances in Parallel Computing, vol. 27, IOS Press, pp. 185-195, International Conference on Parallel Computing (ParCo) 2015, Edinburgh, United Kingdom, 1-4 September., 10.3233/978-1-61499-621-7-185

Kindergarten Cop: dynamic nursery resizing for GHC

Ferreiro, H, Castro, L, Janjic, V & Hammond, K 2016, 'Kindergarten Cop: dynamic nursery resizing for GHC'. in CC 2016 Proceedings of the 25th International Conference on Compiler Construction . ACM Press - Association for Computing Machinery, New York, pp. 56-66, 25th International Conference on Compiler Construction, Barcelona, Spain, 17-18 March., 10.1145/2892208.2892223

Linking data, services and human know-how

Pareti, P, Klein, E & Barker, AD 2016, 'Linking data, services and human know-how'. in Proceedings of the 13th European Semantic Web Conference (ESWC 2016). Lecture Notes in Computer Science, Springer, 13th ESWC 2016, Heraklion, Crete, Greece, 29-2 June.

The effect of privacy concerns on privacy recommenders

Zhao, Y, Ye, J & Henderson, T 2016, 'The effect of privacy concerns on privacy recommenders'. in IUI '16 Proceedings of the 21st International Conference on Intelligent User Interfaces. ACM Press - Association for Computing Machinery, New York, pp. 218-227, ACM IUI 2016, Sonoma, United States, 7-10 March., 10.1145/2856767.2856771

Avoiding medication conflicts for patients with multimorbidities

Kovalov, A & Bowles, JKF 2016, 'Avoiding medication conflicts for patients with multimorbidities'. in E Ábrahám & M Huisman (eds), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-3, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9681, Springer, 12th International Conference on integrated Formal Methods, Reykjavík, Iceland, 1-5 June.