We are a top-class group of researchers with interests in a wide range of areas of theoretical and practical computer science.
All our academic staff are research active, working with a team of post-graduate and post-doctoral researchers and a lively population of research students.
See our directory of staff and research students.
Our research focuses on core themes of theoretical and practical computer science:
We have research support from a range of funding bodies including the Engineering and Physical Sciences Research Council (EPSRC), the European Commission and Industry.
Phillips, K-A, Collins, IM, Milne, RL, McLachlan, SA, Friedlander, M, Hickey, M, Stern, C, Hopper, JL, Fisher, R, Kannemeyer, G, Picken, S, Smith, CD, Kelsey, TW
& Anderson, RA 2016, 'Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations
' Human Reproduction
, vol Advance Access., 10.1093/humrep/dew044
, Miles, A, Mitchell, RT, Anderson, R & Wallace, WHB 2016, 'A normative model of serum inhibin B in young males
' PLoS One
, vol 11, no. 4, e0153843, pp. 1-10., 10.1371/journal.pone.0153843
, Subba, LT, Thai, LT & Barker, AD
2016, 'Container-based Cloud Virtual Machine benchmarking
'. in Proceedings of the IEEE International Conference on Cloud Engineering (IC2E) 2016.
IEEE Computer Society, IEEE International Conference on Cloud Engineering (IC2E) 2016, Berlin, Germany, 4-8 April.
Iliodromiti, S, Sassarini, J, Kelsey, T
, Lindsay, R, Sattar, N & Nelson, S 2016, 'Accuracy of circulating adiponectin for predicting gestational diabetes: a systematic review and meta-analysis
, vol 59, no. 4, pp. 692-699., 10.1007/s00125-015-3855-6
Janjic, V, Brown, CM & Hammond, K
2016, 'Lapedo: hybrid skeletons for programming heterogeneous multicore machines in Erlang
'. in GR Joubert, H Leather, M Parsons, F Peters & M Sawyer (eds), Parallel Computing: On the Road to Exascale.
Advances in Parallel Computing, vol. 27, IOS Press, pp. 185-195, International Conference on Parallel Computing (ParCo) 2015, Edinburgh, United Kingdom, 1-4 September., 10.3233/978-1-61499-621-7-185
Ferreiro, H, Castro, L, Janjic, V & Hammond, K
2016, 'Kindergarten Cop: dynamic nursery resizing for GHC
'. in CC 2016 Proceedings of the 25th International Conference on Compiler Construction .
ACM Press - Association for Computing Machinery, New York, pp. 56-66, 25th International Conference on Compiler Construction, Barcelona, Spain, 17-18 March., 10.1145/2892208.2892223
Pareti, P, Klein, E & Barker, AD
2016, 'Linking data, services and human know-how
'. in Proceedings of the 13th European Semantic Web Conference (ESWC 2016).
Lecture Notes in Computer Science, Springer, 13th ESWC 2016, Heraklion, Crete, Greece, 29-2 June.
Zhao, Y, Ye, J & Henderson, T
2016, 'The effect of privacy concerns on privacy recommenders
'. in IUI '16 Proceedings of the 21st International Conference on Intelligent User Interfaces.
ACM Press - Association for Computing Machinery, New York, pp. 218-227, ACM IUI 2016, Sonoma, United States, 7-10 March., 10.1145/2856767.2856771
Kovalov, A & Bowles, JKF
2016, 'Avoiding medication conflicts for patients with multimorbidities
'. in E Ábrahám & M Huisman (eds), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-3, 2016, Proceedings.
Lecture Notes in Computer Science, vol. 9681, Springer, 12th International Conference on integrated Formal Methods, Reykjavík, Iceland, 1-5 June.