Research

Research is carried out across a broad range of subjects within Computer Science. This work is conducted primarily in small research groups, described below.

Contents

  • Research groups
  • Multi-group projects
  • Publications
  • Seminars
  • Research certificates

Some general information about the Computer Laboratory can be found in the department’s Blue Book, which also provides an overview section that outlines of the work undertaken by each research group, with links to group members’ web pages.

Research groups

  • Artificial Intelligence Group
    Theory and applications of intelligent systems.
  • Computer Architecture Group
    Microarchitecture, VLSI techniques and design, electronic CAD, secure hardware.
  • Digital Technology Group (formerly LCE)
    All aspects of technology in particular for pervasive, sentient and mobile computing and communication systems.
  • Graphics & Interaction Group (Rainbow)
    Computer graphics, image processing, human-computer interaction.
  • Natural Language and Information Processing Group
    Computational modelling of natural (human) languages and related applications.
  • Programming, Logic, and Semantics Group
    Programming languages, compilers, and analysis; development and application of automated reasoning tools; mathematical models of hardware, software, and networks; finite model theory.
  • Security Group
    Security, cryptology, and their applications.
  • Systems Research Group
    Networks, operating systems, multimedia, mobile and sensor systems, distributed systems.

Multi-group projects

  • TIME – Transport Information Management Environment (2005–2010)

Publications

Some of the many research publications produced by members of the Laboratory can be accessed via the department’s publication database.

The Laboratory has published its own Technical Report series since 1974. Many of these reports are available online. Most of the dissertations prepared at the Computer Laboratory have been published in this series.

There are also publication lists on personal and research-group web pages. (Our old FTP archive also has a few documents, mostly dating from the early nineties.)

Seminars

The Laboratory runs a series of seminars on Wednesdays in term. They are open to all members of  and other interested parties. The individual research groups also run seminars and group meetings. Details of these can be found on the weekly seminar timetable.

Research

Primary research offered in the Computer Laboratory. The Cambridge Kipp is a three-year programme of individual research on a topic agreed by the student and the Laboratory, under the guidance of a staff member as the student’s supervisor. There is no compulsory course work, and students are expected to complete the substance of their research by the end of their third year. Information on application for admission …