Directory > Reference > Education > Colleges and Universities > Europe > United Kingdom > England > University of Cambridge > Departments and Programs > School of Technology > Computer Laboratory > Research Theory and Semantics Group 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. http://www.cl.cam.ac.uk/Research/TSG/ Reviews Rating: Not yet Rated
Whois Check
Systems Research Group Includes publications, member profiles, and project details. http://www.cl.cam.ac.uk/Research/SRG/ Reviews Rating: Not yet Rated
Whois Check
Computer Security Group 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/Security/ Reviews Rating: Not yet Rated
Whois Check
Rainbow Group Details of the group's research, members, and publications. http://www.cl.cam.ac.uk/Research/Rainbow/ Reviews Rating: Not yet Rated
Whois Check
Cambridge Programming Research Group 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/CPRG/ Reviews Rating: Not yet Rated
Whois Check
Natural Language and Information Processing Group Includes staff profiles, a list of newsgroups, details of research projects, and an overview of postgraduate opportunities. http://www.cl.cam.ac.uk/Research/NL/ Reviews Rating: Not yet Rated
Whois Check
Automated Reasoning Group 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/HVG/ Reviews Rating: Not yet Rated
Whois Check
|