Computer Science Theses

Browse by

By Issue Date Names Titles Subjects Classification Type Funder

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

Verified programming with explicit coercions

Schwaab, Christopher (University of St Andrews, 2019-06-26) - Thesis

Type systems have proved to be a powerful means of specifying and proving important program invariants. In dependently typed programming languages types can depend on values and hence express arbitrarily complicated p ...
A seamless framework for formal reasoning on specifications : model derivation, verification and comparison

Mendoza Santana, Juan Jose (University of St Andrews, 2019-06-26) - Thesis

While formal methods have been demonstrated to be favourable to the construction of reliable systems, they also present us with several limitations. Most of the eﬀorts regarding formal reasoning are concerned with model ...
Defence against Denial of Service (DoS) attacks using Identifier-Locator Network Protocol (ILNP) and Domain Name System (DNS)

Shehzad, Khawar (University of St Andrews, 2019-06-26) - Thesis

This research considered a novel approach to network security by combining a new networking architecture based on the Identifier-Locator Network Protocol (ILNP) and the existing Domain Name System (DNS). Specifically, the ...
Transforming the museum-community nexus with technology : a virtual museum infrastructure for participatory engagement and management

Fabola, Adeola Ezekiel (University of St Andrews, 2018-12-06) - Thesis

Museums play an important role in society as the custodians of heritage, and advances in technology have brought about opportunities for curating, preserving and disseminating heritage through virtual museums. However, ...
Detecting cloud virtual network isolation security for data leakage

Al Nasseri, Haifa Mohamed (University of St Andrews, 2019-06-26) - Thesis

This thesis considers information leakage in cloud virtually isolated networks. Virtual Network (VN) Isolation is a core element of cloud security yet research literature shows that no experimental work, to date, has been ...