Subsections

Research Groups

Members of the Computer Laboratory undertake research in a wide variety of areas and the Department has a reputation as an international centre of excellence. Current, although by no means static, research groups are listed here, together with the relevant URL for detailed information about each group.

Artificial Intelligence Group

Theory and applications of intelligent systems.

Professor John Daugman, Dr Sean Holden, Dr Mateja Jamnik, Dr Pietro Liò

http://www.cl.cam.ac.uk/research/ai/

Computer Architecture Group

Microarchitecture, VLSI techniques and design, electronic CAD, secure hardware.

Dr David Greaves, Dr Andrew Moore, Dr Simon Moore, Dr Robert Mullins, Professor Alan Mycroft

http://www.cl.cam.ac.uk/research/comparch/

Digital Technology Group

All aspects of technology in particular for pervasive, sentient and mobile computing and communication systems.

Dr Alastair Beresford, Dr Robert Harle, Professor Andy Hopper, Dr Andy Rice, Dr Frank Stajano, Dr Ian Wassell

http://www.cl.cam.ac.uk/research/dtg/

Graphics and Interaction Group (Rainbow)

Computer graphics, human-computer interaction, affective computing, interdisciplinary design, image processing, display technology.

Dr Alan Blackwell, Professor Neil Dodgson, Professor Peter Robinson

http://www.cl.cam.ac.uk/research/rainbow/

Natural Language and Information Processing Group

Computational modelling of natural (human) languages and related applications.

Professor Ted Briscoe, Dr Stephen Clark, Professor Ann Copestake, Dr Simone Teufel

http://www.cl.cam.ac.uk/research/nl/

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.

Professor Anuj Dawar, Professor Marcelo Fiore, Professor Mike Gordon, Dr Timothy Griffin, Dr Mateja Jamnik, Professor Alan Mycroft, Professor Larry Paulson, Professor Andrew Pitts, Dr Martin Richards, Dr Peter Sewell, Dr Sam Staton, Professor Glynn Winskel

http://www.cl.cam.ac.uk/research/pls/

Security Group

Security, cryptology, and their applications.

Professor Ross Anderson, Dr Alan Blackwell, Professor John Daugman, Dr Markus Kuhn, Dr Simon Moore, Professor Larry Paulson, Dr Frank Stajano

http://www.cl.cam.ac.uk/research/security/

Systems Research Group

Networks, operating systems, multimedia, mobile and sensor systems, distributed systems. The Systems Research Group has two subgroups: Networks & operating systems, and Opera.

Professor Jean Bacon, Professor Jon Crowcroft, Dr Richard Gibbens, Dr David Greaves, Dr Timothy Griffin, Dr Steven Hand, Professor Ian Leslie, Dr Cecilia Mascolo, Dr Ken Moody, Dr Andrew Moore

http://www.cl.cam.ac.uk/research/srg/