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