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.

Collections in this community

Recent Submissions

  • Towards semi-automatic data-type translation for parallelism in Erlang 

    Barwell, Adam David; Brown, Christopher Mark; Castro, David; Hammond, Kevin (ACM Press - Association for Computing Machinery, 2016-09-23) - Conference item
    As part of our ongoing research programme into programmer-in-the-loop parallelisation, we are studying the problem of introducing alternative data structures to support parallelism. Automated support for data structure ...
  • Multiplex networks in metropolitan areas : generic features and local effects 

    Strano, Emanuele; Shai, Saray; Dobson, Simon Andrew; Barthélemy, Marc (2015-10) - Journal article
    Most large cities are spanned by more than one transportation system. These different modes of transport have usually been studied separately: it is however important to understand the impact on urban systems of the coupling ...
  • Cloud benchmarking for maximising performance of scientific applications 

    Varghese, Blesson; Akgun, Ozgur; Miguel, Ian James; Thai, Long Thanh; Barker, Adam David (2016) - Journal article
    How can applications be deployed on the cloud to achieve maximum performance? This question is challenging to address with the availability of a wide variety of cloud Virtual Machines (VMs) with different performance ...
  • Towards an autonomous decentralised orchestration system 

    Jaradat, Ward; Dearle, Alan; Barker, Adam (2016-08-10) - Journal article
    Orchestrating workflows needed for modern scientific data analysis presents a significant research challenge: they are typically executed in a centralised manner such that all data pass through a single compute server known ...
  • Elaborator reflection : extending Idris in Idris 

    Christiansen, David; Brady, Edwin Charles (ACM Press - Association for Computing Machinery, 2016-09-04) - Conference item
    Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration ...

View more