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

  • Timing properties and correctness for structured parallel programs on x86-64 multicores 

    Hammond, Kevin; Brown, Christopher Mark; Sarkar, Susmit (Springer International Publishing, 2016) - Conference item
    This paper determines correctness and timing properties for structured parallel programs on x86-64 multicores. Multicore architectures are increasingly common, but real architectures have unpredictable timing properties, ...
  • 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

View more