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

  • A logical approach for behavioural composition of scenario-based models 

    Bowles, Juliana Kuster Filipe; Bordbar, Behzad; Alwanain, Mohammed (Springer International Publishing, 2015) - Conference item
    As 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 ...
  • Mixed-size Concurrency: ARM, POWER, C/C++11, and SC 

    Flur, Shaked; Sarkar, Susmit; Pulte, Christopher; Nienhuis, Kyndylan; Maranget, Luc; Gray, Kathryn; Sezgin, Ali; Batty, Mark; Sewell, Peter (ACM Press - Association for Computing Machinery, 2016-10-04) - Conference item
    Previous 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, ...
  • On normative judgements and ethics 

    Arandelovic, Ognjen (2016-11-22) - Journal item
    Recent 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 ...
  • MapMySmoke–a context aware mobile phone application targeted at smoking cessation 

    Schick, Robert Schilling; Humphris, Gerald Michael; Kelsey, Thomas William; Marston, John; Sampson, Kay (2016-11-22) - Conference poster
  • IP without IP addresses 

    Bhatti, S. N.; Phoomikiattisak, D.; Simpson, B. (ACM Press - Association for Computing Machinery, 2016-12-03) - Conference item
    We 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 ...

View more