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

Aplicação de técnicas quantitativas de modelagem na busca da eficiência de processos hospitalares

On normative judgements and ethics

Mind the gap: addressing behavioural inconsistencies with formal methods

Bowles, JKF & Caminati, MB 2016, Mind the gap: addressing behavioural inconsistencies with formal methods. in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE Computer Society, 23rd Asia-Pacific Software Engineering Conference, Hamilton, New Zealand, 6-9 December.

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

WatchMI: pressure touch, twist and pan gesture input on unmodified smartwatches

Yeo, HS, Lee, J, Bianchi, A & Quigley, AJ 2016, WatchMI: pressure touch, twist and pan gesture input on unmodified smartwatches. in Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services: MobileHCI '16 . ACM Press - Association for Computing Machinery, pp. 394-399 , 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, Florence, Italy, 6-9 September. DOI: 10.1145/2935334.2935375

WatchMI: applications of watch movement input on unmodified smartwatches

Yeo, HS, Lee, J, Bianchi, A & Quigley, AJ 2016, WatchMI: applications of watch movement input on unmodified smartwatches. in Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct: MobileHCI '16 . ACM Press - Association for Computing Machinery, pp. 594-598, 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, Florence, Italy, 6-9 September. DOI: 10.1145/2957265.2961825

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

Complex temporal topic evolution modelling using the Kullback-Leibler divergence and the Bhattacharyya distance

Elaborator reflection: extending Idris in Idris

Christiansen, D & Brady, EC 2016, Elaborator reflection: extending Idris in Idris. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ACM Press - Association for Computing Machinery, New York, pp. 284-297, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18-24 September. DOI: 10.1145/2951913.2951932

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

Castro, D, Hammond, K & Sarkar, S 2016, Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ACM Press - Association for Computing Machinery, New York, pp. 4-17, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18-24 September. DOI: 10.1145/2951913.2951920