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

  • Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination 

    Nightingale, Peter; Akgun, Ozgur; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian (Springer, 2014-09-08) - Conference item
    When solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable time ...
  • 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 ...
  • Employee surveillance : the road to surveillance is paved with good intentions 

    Edwards, Lilian; Martin, Laura; Henderson, Tristan (2018-10-06) - Conference item
  • Counterpoint : exploring mixed-scale gesture interaction for AR applications 

    Ens, Barrett; Quigley, Aaron; Yeo, Hui Shyong; Irani, Pourang; Piumsomboon, Thammathip; Billinghurst, Mark (Association for Computing Machinery, Inc, 2018-04-20) - Conference item
    This paper presents ongoing work on a design exploration for mixed-scale gestures, which interleave microgestures with larger gestures for computer interaction. We describe three prototype applications that show various ...
  • 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 ...

View more