Computer Science @ University of St Andrews

University of St Andrews crest

Research

  • Jack Cole Building.
  • CS students after graduation.
  • Server.
  • First-year/second-year lab.
  • Computers.
  • Student at work.

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 engineering, system dependability, social informatics and functional programming.
  • Human Computer Interaction including pervasive and ubiquitous computing, input and output technologies, intelligent interactive systems and visualisation .

The School is a member of SICSA - The Scottish Informatics and Computer Science Alliance

We encourage and value collaborative and multi-disciplinary research and have recently established the St Andrews Co-laboratory on Cloud Computing (StACC), a research collaboration that brings researchers from a range of backgrounds together to work on cloud computing research problems.

We have research support from a range of funders including the Engineering and Physical Sciences Research Council (EPSRC), the European Commision and Industry. Here is a full list of our research grants.

Search Publications from the School of Computer Science


If you are interested in doing a PhD, see our research student pages. We may have studentships available for excellent students, including research studentships in cloud computing.

Recent Publications

Cost-Directed Refactoring for Parallel Erlang Programs

Brown, CM , Danelutto, M , Hammond, K , Kilpatrick, P & Elliot, A 2013, ' Cost-Directed Refactoring for Parallel Erlang Programs '. in Proc. International Symposium on High-level Parallel Programming and Applications. Lecture Notes in Computer Science, Springer.

Unifying sensor fault detection with energy conservation

Forrester, L & Dobson, SA 2013, ' Unifying sensor fault detection with energy conservation '. in Proceedings of the 7th International Workshop on Self-Organising Systems.

Coupled adaptive complex networks

Shai, S & Dobson, SA 2013, ' Coupled adaptive complex networks ' Physical Review E , vol 87, no. 4.

Exploiting historical registers: Automatic methods for coding c19th and c20th cause of death descriptions to standard classifications

Carson, JK , Kirby, GNC , Dearle, A , Williamson, L , Garrett, E, Reid, A & Dibben, CJL 2013, ' Exploiting historical registers: Automatic methods for coding c19th and c20th cause of death descriptions to standard classifications '. in New Techniques and Technologies for Statistics. Eurostat, pp. 598-607, New Techniques and Technologies for Statistics (NTTS 2013), Brussels, Belgium, 5-7 March.

Minimising virtual machine support for concurrency

Dobson, SA , Dearle, A & Porter, BF 2013, ' Minimising virtual machine support for concurrency '. in Proceedings of 5th ETAPS workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software.

Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks

Stevenson, GT, Viroli, M, Montagna, S, Pianini, D , Ye, J & Dobson, SA 2013, ' Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks '. in Proceedings of the 28th ACM Symposium on Applied Computing. ACM Press - Association for Computing Machinery.

Packet-Level Attestation (PLA): a framework for in-network sensor-data reliability

Kamal, ARM, Bleakley, C & Dobson, SA 2013, ' Packet-Level Attestation (PLA): a framework for in-network sensor-data reliability ' ACM Transactions on Sensor Networks , vol 9, no. 2.

Resource Analyses for Parallel and Distributed Coordination

Trinder, P , Hammond, K , Cole, M, Michaelson, G & Loidl, H-W 2013, ' Resource Analyses for Parallel and Distributed Coordination ' Concurrency: Practice and Experience, John Wiley , vol 25, no. 3, pp. 309-348.

Casimir forces for inhomogeneous planar media

Xiong, C , Kelsey, T , Linton, SA & Leonhardt, U 2013, ' Casimir forces for inhomogeneous planar media '. in Journal of Physics: Conference Series. 1 edn, vol. 401.

Short and long supports for constraint propagation

Nightingale, P , Gent, IP , Jefferson, CA & Miguel, IJ 2013, ' Short and long supports for constraint propagation ' Journal of Artificial Intelligence Research , vol 46, pp. 1-45.

© University of St Andrews 2013. All rights reserved.

The University of St Andrews is a charity registered in Scotland, No SC013532.

School of Computer Science, Jack Cole Building, North Haugh, St Andrews, Fife KY16 9SX, Scotland, UK.

Phone: +44 (0)1334 463253