Computer Laboratory Systems Research Group is the largest research area in the Computer Laboratory covering hardware, communications hardware and software, operating systems and distributed systems.

University of Cambridge - Speech and language processing, computational linguistics.

University of Cambridge - Human-computer interaction, visual interaction.

University of Cambridge - Distributed systems.

University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision.

University of Cambridge - Applications of logic to computing, finite model theory, computational complexity.

University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression.

University of Cambridge - Semantics and compilation of programs, static analysis of programs.

University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.

University of Cambridge - Interactive theorem proving and its applications.