Home > Reference > Education > Colleges and Universities > Europe > United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory
Sites about the research and research groups within the Computing Laboratory of the University of Cambridge, UK.
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.
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.
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.
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.
http://www.cl.cam.ac.uk/research/rainbow/
Details of the group's research, members, and publications.
http://www.cl.cam.ac.uk/research/srg/
Includes publications, member profiles, and project details.
http://www.cl.cam.ac.uk/Research/TSG/
Details of the group, whose work is centred around mathematical models of a variety of languages and logics. Includes a list of members, and local resources.
Home > Reference > Education > Colleges and Universities > Europe > United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us