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

Coinductive soundness of corecursive type class resolution

Farka, F, Komendantskaya, E, Hammond, K & Fu, P 2016, Coinductive soundness of corecursive type class resolution. in 26th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2016. International Symposium on Logic-based Program Synthesis and Transformation, Edinburgh, United Kingdom, 6-8 September.

The sticking point in the bench press, the squat, and the deadlift: similarities and differences, and their significance for research and practice

Enabling useful data sharing through format identification and text mining

Akestoridis, D-G & Henderson, TNH 2016, 'Enabling useful data sharing through format identification and text mining' Repository Fringe 2016, Edinburgh, United Kingdom, 1/08/16 - 2/08/16, .

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

Automatic knowledge extraction from EHRs

Vasiljeva, I & Arandelovic, O 2016, Automatic knowledge extraction from EHRs. in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York City, USA, 9–15 July 2016. AAAI Press, IJCAI 2016 - Workshop on Knowledge Discovery in Healthcare Data, New York, United States, 10-10 July.

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 S Kambhampati (ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York City, USA, 9–15 July 2016. AAAI Press/International Joint Conferences on Artificial Intelligence, Palo Alto, pp. 3368-3374, 25th International Joint Conference on Artificial Intelligence, New York, United States, 9-15 July.