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.

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