All of our academic staff are research active, working with a team of post-graduate and post-doctoral researchers and a lively population of research students. Our research focuses on core themes of theoretical and practical computer science: artificial intelligence and symbolic computation, networked and distributed systems, systems engineering, and human computer interaction.

For more information please visit the School of Computer science home page.

Recent Submissions

  • Model selection and testing for an automated constraint modelling toolchain 

    Hussain, Bilal Syed (University of St Andrews, 2017-06-21) - Thesis
    Constraint Programming (CP) is a powerful technique for solving a variety of combinatorial problems. Automated modelling using a refinement based approach abstracts over modelling decisions in CP by allowing users to specify ...
  • Some problems in the theory and application of the methods of numerical taxonomy 

    Wishart, David (University of St Andrews, 1970) - Thesis
    Several of the methods of numerical taxonomy are compared and shown to be variants of a tripartite grouping procedure associated with a generalised intercluster similarity function involving ten computational parameters. ...
  • Enabling energy-awareness for internet video 

    Ejembi, Oche Omobamibo (University of St Andrews, 2016-03-30) - Thesis
    Continuous improvements to the state of the art have made it easier to create, send and receive vast quantities of video over the Internet. Catalysed by these developments, video is now the largest, and fastest growing ...
  • Using quantified-self for future remote health monitoring 

    Khorakhun, Chonlatee (University of St Andrews, 2015) - Thesis
    Remote monitoring is an essential part of future mHealth systems for the delivery of personal and pervasive healthcare, especially to allow the collection of personal bio-data outside clinical environments. mHealth ...
  • Quantifying scribal behavior : a novel approach to digital paleography 

    Sampath, Vinodh Rajan (University of St Andrews, 2016-11-30) - Thesis
    We propose a novel approach for analyzing scribal behavior quantitatively using information about the handwriting of characters. To implement this approach, we develop a computational framework that recovers this information ...

View more