Computer Science Theses
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.
Recent Submissions
-
Automatic generation of proof terms in dependently typed programming languages
(University of St Andrews, 2018-09-17) - ThesisDependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and ... -
Structured arrows : a type-based framework for structured parallelism
(University of St Andrews, 2018-06-27) - ThesisThis thesis deals with the important problem of parallelising sequential code. Despite the importance of parallelism in modern computing, writing parallel software still relies on many low-level and often error-prone ... -
Title redacted
(University of St Andrews, 2017) - Thesis -
Solving the threat of LSB steganography within data loss prevention systems
(University of St Andrews, 2017) - ThesisWith the recent spate of data loss breaches from industry and commerce, especially with the large number of Advanced Persistent Threats, companies are increasing their network boundary security. As network defences are ... -
Using machine learning to select and optimise multiple objectives in media compression
(University of St Andrews, 2018) - ThesisThe growing complexity of emerging image and video compression standards means additional demands on computational time and energy resources in a variety of environments. Additionally, the steady increase in sensor ...
RSS 1.0