Automated Reasoning Group - http://www.cl.cam.ac.uk/research/hvg/
Details of the group concerned with the development and application of theorem proving methodologies. Includes an introduction to their work, a list of members, and publications. |
Cambridge Programming Research Group - http://www.cl.cam.ac.uk/research/cprg/
Details of the group interested in ideas around the general theme of implementing algorithms efficiently, reliably and in manner likely to permit further development. Includes details of group members and projects, and a list of students. |
Computer Security Group - http://www.cl.cam.ac.uk/research/security/
Details of the group's research topics, calendar of seminars, member pages, contact information, and links to relevant resources. |
Natural Language and Information Processing Group - http://www.cl.cam.ac.uk/research/nl/
Includes staff profiles, a list of newsgroups, details of research projects, and an overview of postgraduate opportunities. |
Rainbow Group - http://www.cl.cam.ac.uk/research/rainbow/
Details of the group's research, members, and publications. |