Computer Science
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.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Collections in this community
Recent Submissions
-
Unsupervised domain adaptation in sensor-based human activity recognition
(University of St Andrews, 2022-06-15) - ThesisSensor-based human activity recognition (HAR) is to recognise human daily activities through a collection of ambient and wearable sensors. Sensor-based human activity recognition is having a significant impact in a wide ... -
The Virtual Time Travel Platform : engineering a generic framework for immersive cultural heritage scenes
(University of St Andrews, 2015-06-24) - ThesisThis thesis presents the Virtual Time Travel Platform (VTTP), a flexible platform for creating, sharing and deploying interactive cultural heritage content across a diverse range of contexts. The interactive scenes created ... -
Proof-relevant resolution - the foundations of constructive proof automation
(University of St Andrews, 2021-06-30) - ThesisDependent type theory is an expressive programming language. This language allows to write programs that carry proofs of their properties. This in turn gives high confidence in such programs, making the software trustworthy. ... -
Facilitating the analysis and management of data for cancer care
(University of St Andrews, 2021-11-30) - ThesisThe Edinburgh Cancer Centre (ECC) is an institution containing the National Health Service (NHS) Lothian cancer patient data from multiple resources. These resources are scattered across different systems and platforms, ... -
Rethinking historical university records : provenance in visualization and digital humanities research
(2024-06-12) - ThesisThe world’s oldest universities, including St Andrews (my case study), have started digitizing their historical student and staff records for their (in)valuable information about the ‘education-worthy’, and the institutions ...