Computer Science @ University of St Andrews

University of St Andrews crest

Research

  • Jack Cole Building.
  • CS students after graduation.
  • Server.
  • Jack Cole student lab.
  • Philip Lee lab - Honours lab
  • John Honey teaching lab
  • Jack Cole student lab

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.

We are currently advertising funded PhD studentships. We are interested in applications from all our research themes, and also provide a list of specific potential projects suggested by our academics.

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.

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

Recent Publications

Some challenges for ethics in social network research

Hutton, L & Henderson, T 2015, ' Some challenges for ethics in social network research '. in SIGCOMM Workshop on Ethics in Networked Systems Research. Workshop on Ethics in Networked Systems Research, London, United Kingdom, 21-21 August.

Automatic methods for coding historical occupation descriptions to standard classifications

Kirby, GNC , Carson, J , Dunlop, F , Dibben, C , Dearle, A , Williamson, L, Garrett, E & Reid, A 2015, ' Automatic methods for coding historical occupation descriptions to standard classifications '. in G Bloothooft, P Christen, K Mandemakers & M Schraagen (eds), Population Reconstruction. Springer.

Cancer treatment and gonadal function: experimental and established strategies for fertility preservation in children and young adults

Anderson, RA, Mitchell, RT , Kelsey, T , Spears, N, Telfer, EE & Wallace, WHB 2015, ' Cancer treatment and gonadal function: experimental and established strategies for fertility preservation in children and young adults ' The Lancet Diabetes & Endocrinology , vol 3, no. 7, pp. 556-567.

Count-based state merging for probabilistic regular tree grammars

Dietze, T & Nederhof, MJ 2015, ' Count-based state merging for probabilistic regular tree grammars '. in Proceedings of the 12th International Conference on Finite State Methods and Natural Language Proces. Association for Computational Linguistics, Duesseldorf, Germany, The 12th International Conference on Finite-State Methods and Natural Language Processing, Düsseldorf, Germany, 22-24 June.

A probabilistic model of Ancient Egyptian writing

Nederhof, MJ & Rahman, F 2015, ' A probabilistic model of Ancient Egyptian writing '. in Proceedings of the 12th International Conference on Finite State Methods and Natural Language Processing. Association for Computational Linguistics, Duesseldorf, Germany, The 12th International Conference on Finite-State Methods and Natural Language Processing, Düsseldorf, Germany, 22-24 June.

Using a virtual world to aid overseas PGT orientation

Duncan, IMM , Brooks, J & Miles, P 2015, ' Using a virtual world to aid overseas PGT orientation '. in International Conference on Enhancement and Innovation in Higher Education. QAA for Higher Education, Glasgow, pp. 361-366, The 2nd International Conference on Enhancement and Innovation in Higher Education 2015, Glasgow, United Kingdom, 9-11 June.

The relation between variation in size of the primordial follicle pool and age at natural menopause

Depmann, M, Faddy, MJ, van der Schoew, YT, Peeters, PHM, Broer, SL , Kelsey, T , Nelson, SM & Broekmans, FJM 2015, ' The relation between variation in size of the primordial follicle pool and age at natural menopause ' Journal of Clinical Endocrinology & Metabolism , vol 100, no. 6, pp. E852-E860.

Geometrisation of first-order logic

Dyckhoff, R & Negri, S 2015, ' Geometrisation of first-order logic ' Bulletin of Symbolic Logic , vol 21, no. 2, pp. 123–163.

Making social media research reproducible

Hutton, L & Henderson, T 2015, ' Making social media research reproducible '. in Proceedings of the ICWSM Workshop on Standards and Practices in Large-Scale Social Media Research. pp. 2-7, Workshop on Standards and Practices in Large-Scale Social Media Research, Oxford, United Kingdom, 26-29 May.

"I didn't sign up for this!": Informed consent in social network research

Hutton, L & Henderson, T 2015, ' "I didn't sign up for this!": Informed consent in social network research '. in Proceedings of the 9th International AAAI Conference on Web and Social Media (ICWSM). pp. 178-187, The 9th International AAAI Conference on Web and Social Media, Oxford, United Kingdom, 26-29 May.