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.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

Theory and Semantics Group The work of the Theory and Semantics Group is centred round mathematical models of a variety of languages and logics. These models are intended to be for clarifying programming concepts, as a basis for specification and for analysing the complexity of computations. We
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

2. Systems Research Group

Includes publications, member profiles, and project details.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

Systems is the largest research area in the Computer Laboratory covering hardware, communications hardware and software, operating systems and distributed systems. Past systems developed here include Edsac, the Titan operating system, the Cambridge Ring and the Cambridge Distributed Computing
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

3. Computer Security Group

Details of the group's research topics, calendar of seminars, member pages, contact information, and links to relevant resources.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

The Security Group is an informal group of people with similar interests: mainly security, cryptology, and distributed systems. It counts half a dozen lecturers, several post-doc researchers and nearly 20 PhD Computer security has been among the laboratory's research interests for many years,
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

4. Rainbow Group

Details of the group's research, members, and publications.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

Graphics & Interaction Group The Graphics & Interaction Group (“Rainbow”) is led by . It has 3 post-doctoral research workers and 15 PhD students. © 2009 Computer Laboratory, University of Cambridge Please send any comments on this page to Last modified 2009-01-15 18:55
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

5. Natural Language and Information Processing Group

Includes staff profiles, a list of newsgroups, details of research projects, and an overview of postgraduate opportunities.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

© 2004 Computer Laboratory, University of Cambridge The requested URL /research/nl/global/search was not found on this server. Apache/1.3.37 Server at Port 80 The Computer Laboratory is an academic department within the encompasses Computer Science, along with many aspects of Engineering,
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

6. 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.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

Automated Reasoning Group The Automated Reasoning Group is concerned with the development and application of theorem proving methodologies. Theorem proving presents a challenge for logicians and computer scientists alike. Use of theorem proving methods is finding substantial application with the
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

7. 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.

Category:

United Kingdom > England > University of Cambridge > Research > School of Technology > Computer Laboratory

Random Site Quote:

Cambridge Programming Research Group The Cambridge Programming Research Group is interested in ideas around the general theme of implementing algorithms efficiently, reliably and in manner likely to permit further development. This explicitly includes research relating to: programming language
For more detailed information about website content visit the original website, please...

Date Added: Feb 24, 2009 Hits: Rating: 0.00 Votes: 0

Member Reviews

Visitor Ratings

Google PR

Category Jump :