Computer Laboratory School of Technology Research University of Cambridge
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.
Top: Reference: Education: Colleges and Universities: Europe: United Kingdom: England: University of Cambridge: Research: School of Technology: Computer Laboratory
See Also:
- Rainbow Group - Details of the group's research, members, and publications.
- Theory and Semantics Group - Details of the group, whose work is centred computer laboratory around mathematical models of a variety of languages computer laboratory and logics. Includes a list of members, and computer laboratory local resources.
- Natural Language and Information Processing Group - Includes staff profiles, a list of newsgroups, details research of research school of technology projects, and an overview of postgraduate research opportunities.
- 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.
- Computer Security Group - Details of the group\\'s research topics, calendar of school of technology computer laboratory seminars, member pages, contact information, and links to school of technology computer laboratory relevant resources.
- Systems Research Group - Includes publications, member profiles, and project details.
- 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.
MySQL - Cache Direct
