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

  • 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 ...
  • SWAG demo : smart watch assisted gesture interaction for mixed reality head-mounted displays 

    Kim, Hyung-il; Lee, Juyoung; Yeo, Hui Shyong; Quigley, Aaron John; Woo, Woontack (IEEE Computer Society, 2018-12-16) - Conference item
    In this demonstration, we will show a prototype system with sensor fusion approach to robustly track 6 degrees of freedom of hand movement and support intuitive hand gesture interaction and 3D object manipulation for Mixed ...
  • 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 ...
  • How people visually represent discrete constraint problems 

    Zhu, Xu; Nacenta, Miguel; Akgün, Özgür; Nightingale, Peter William (2019-01-24) - Journal article
    Problems such as timetabling or personnel allocation can be modeled and solved using discrete constraint programming languages. However, while existing constraint solving software solves such problems quickly in many cases, ...
  • 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