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

  • Guaranteeing generalisation in neural networks 

    Polhill, John Gareth (University of St Andrews, 1995) - Thesis
    Neural networks need to be able to guarantee their intrinsic generalisation abilities if they are to be used reliably. Mitchell's concept and version spaces technique is able to guarantee generalisation in the symbolic ...
  • The mat sat on the cat : investigating structure in the evaluation of order in machine translation 

    McCaffery, Martin (University of St Andrews, 2017-09-28) - Thesis
    We present a multifaceted investigation into the relevance of word order in machine translation. We introduce two tools, DTED and DERP, each using dependency structure to detect differences between the structures of ...
  • Recommending privacy preferences in location-sharing services 

    Zhao, Yuchen (University of St Andrews, 2017-06-21) - Thesis
    Location-sharing services have become increasingly popular with the proliferation of smartphones and online social networks. People share their locations with each other to record their daily lives or satisfy their social ...
  • Augmenting visual perception with gaze-contingent displays 

    Mauderer, Michael (University of St Andrews, 2017-06-21) - Thesis
    Cheap and easy to use eye tracking can be used to turn a common display into a gaze-contingent display: a system that can react to the user’s gaze and adjust its content based on where an observer is looking. This can ...
  • Towards a holistic framework for software artefact consistency management 

    Pete, Ildiko (University of St Andrews, 2017-06-21) - Thesis
    A software system is represented by different software artefacts ranging from requirements specifications to source code. As the system evolves, artefacts are often modified at different rates and times resulting in ...

View more