About this community

Current research areas include bioinformatics, computer architecture, computer vision, distributed systems, graphics and human-computer interaction, logic and semantics, machine learning, natural language processing, networking and wireless communication, operating systems and virtualization, programming, security, and sustainable computing

The Computer Laboratory undertakes research in a broad range of subjects within the disciplines of Computer Science, Engineering, Technology, and Mathematics. Current research areas include bioinformatics, computer architecture, computer vision, distributed systems, graphics and human-computer interaction, logic and semantics, machine learning, natural language processing, networking and wireless communication, operating systems and virtualization, programming, security, and sustainable computing.

Collections in this community

Recent Submissions

  • Automating representation change across domains for reasoning 

    Stockdill, Aaron
    Representing a problem well can make it trivial to solve; represent it poorly, and it becomes impossible. But what makes a representation suitable for a problem, and how can we automatically choose the most suitable from ...
  • Resilient routing for MANETs 

    Caballero Gutierrez, Marco
    Mobile ad hoc networks (MANETs) are the core technology that provides the US military with adaptable and reliable battlefield communications. These self-organising networks are ideal for rapidly changing scenarios that ...
  • MeshSim 

    Caballero Gutierrez, Marco
  • Verified security properties for the capability-enhanced CHERI-MIPS architecture 

    Nienhuis, Kyndylan
    Despite decades of research, the computer industry still struggles to build secure systems. The majority of security vulnerabilities are caused by a combination of two fundamental problems. First, mainstream engineering ...

View more