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

  • Lapedo : hybrid skeletons for programming heterogeneous multicore machines in Erlang 

    Janjic, Vladimir; Brown, Christopher Mark; Hammond, Kevin (IOS Press, 2016-04) - Conference item
    We describe Lapedo, a novel library of hybrid parallel skeletons for programming heterogeneous multi-core/many-core CPU/GPU sys- tems in Erlang. Lapedo’s hybrid skeletons comprise a mixture of CPU and GPU components, ...
  • Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations 

    Phillips, K-A; Collins, I M; Milne, R L; McLachlan, S A; Friedlander, M; Hickey, M; Stern, C; Hopper, J L; Fisher, R; Kannemeyer, G; Picken, S; Smith, C D; Kelsey, Thomas William; Anderson, R A (2016-04-19) - Journal article
    Study question: Do women with BRCA1 and BRCA2 mutations have reduced ovarian reserve, as measured by circulating anti-müllerian hormone (AMH) concentration?  Summary answer: Women with a germline mutation in BRCA1 have ...
  • A normative model of serum inhibin B in young males 

    Kelsey, Thomas William; Miles, Amy; Mitchell, Rod T.; Anderson, Richard; Wallace, W. Hamish B. (2016-04-14) - Journal article
    Inhibin B has been identified as a potential marker of Sertoli cell function in males. The aim of this study is to produce a normative model of serum inhibin B in males from birth to seventeen years. We used a well-defined ...
  • Type-based allocation analysis for co-recursion in lazy functional languages 

    Vasconcelos, Pedro Baltazar; Jost, Steffen; Florido, Mario; Hammond, Kevin (Springer-Verlag, 2015) - Conference item
    This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this ...
  • Container-based Cloud Virtual Machine benchmarking 

    Varghese, Blesson; Subba, Lawan Thamsuhang; Thai, Long Thanh; Barker, Adam David (IEEE Computer Society, 2016-04-04) - Conference item
    With the availability of a wide range of cloud Virtual Machines (VMs) it is difficult to determine which VMs can maximise the performance of an application. Benchmarking is commonly used to this end for capturing the ...

View more