Computer Science (School of)
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.
Sub-communities within this community
Adaptivity of 3D web content in web-based virtual museums : a quality of service and quality of experience perspective (University of St Andrews, 2019-12-03) - ThesisThe 3D Web emerged as an agglomeration of technologies that brought the third dimension to the World Wide Web. Its forms spanned from being systems with limited 3D capabilities to complete and complex Web-Based Virtual ...
(University of St Andrews, 2019-07-17) - ThesisA deterioration of legal research skills has become a critical issue for lawyers. This thesis examines the causes of the problem under English law and specifically addresses how current technology for legal research ...
(University of St Andrews, 2016-06-22) - Thesis
(University of St Andrews, 2019) - ThesisThis thesis presents the Name-based Mobile Ad-hoc Network (nMANET) approach to content distribution that ensure and enables responsible research on applying named data networking protocol in mobile ad-hoc networks. The ...
(University of St Andrews, 2019-06-26) - ThesisType 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 ...