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

  • Qualitative modelling via constraint programming 

    Kelsey, Tom; Kotthoff, Lars; Jefferson, Christopher Anthony; Linton, Stephen Alexander; Miguel, Ian James; Nightingale, Peter; Gent, Ian Philip (2014-04) - Journal article
    Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without ...
  • Simplified cloud instance selection 

    Boonprasop, Chalee; Barker, Adam David (ACM, 2018-04-23) - Conference item
    Cloud computing delivers computational services to anyone over the internet. The cloud providers offer these services through a simplified billing model where customers can rent services based on the types of computing ...
  • Proof-relevant Horn clauses for dependent type inference and term synthesis 

    Farka, František; Komendantskya, Ekaterina; Hammond, Kevin (2018) - Journal article
    First-order resolution has been used for type inference for many years, including in Hindley-Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this ...
  • A review of literature on parallel constraint solving 

    Gent, Ian Philip; Miguel, Ian James; Nightingale, Peter William; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil; Unsworth, Chris (2018-09) - Journal article
    As multi-core computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: investigating ...
  • Supervisor recommendation tool for Computer Science projects 

    Zemaityte, Gintare; Terzic, Kasim (ACM, 2019-01-09) - Conference item
    In most Computer Science programmes, students are required to undertake an individual project under the guidance of a supervisor during their studies. With increasing student numbers, matching students to suitable supervisors ...

View more