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.

Sub-communities within this community

Recent Submissions

  • Multihoming with ILNP in FreeBSD 

    Simpson, Bruce (University of St Andrews, 2016-06-21) - Thesis
    Multihoming allows nodes to be multiply connected to the network. It forms the basis of features which can improve network responsiveness and robustness; e.g. load balancing and fail-over, which can be considered as a ...
  • 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 ...

View more