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
(Springer International Publishing, 2015) - Conference itemAs modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s ...
(ACM Press - Association for Computing Machinery, 2016-10-04) - Conference itemPrevious work on the semantics of relaxed shared-memory concurrency has only considered the case in which each load reads the data of exactly one store. In practice, however, multiprocessors support mixed-size accesses, ...
(2016-11-22) - Journal itemRecent rapid technological and medical advance has more than ever before brought to the fore a spectrum of problems broadly categorized under the umbrella of ‘ethics of human enhancement’. Some of the most contentious ...
(2016-11-22) - Conference poster
(ACM Press - Association for Computing Machinery, 2016-12-03) - Conference itemWe discuss a key engineering challenge in implementing the Identifier- Locator Network Protocol (ILNP), as described in IRTF Experimental RFCs 6740-6748: enabling legacy applications that use the C sockets API. We have ...