The Computer Laboratory The Computer Laboratory is the Computer Science department of the University of Cambridge. The University Computing Service has a separate set of web pages. Introduction A brief overview of the Computer Laboratory and a more detailed introduction. Research Summaries and details of research groups, publications, and Lab seminars. Research Degrees Information on the PhD and ...
University of Cambridge Computer Security Group ...
www.cl.cam.ac.uk/Research/Security
Rainbow Group Graphics | Interaction | ECAD | Displays Introduction Introduction to the Rainbow Group for new visitors. Research Summaries and details of current and past research projects. People Current group members' pages and contact addresses for past members. Publications Abstracts and downloadable versions of recent group publications. Miscellaneous Meetings, resources, undergraduate and ...
www.cl.cam.ac.uk/Research/Rainbow
Automated Reasoning Group Lab | ARG | Description | HOL | Isabelle | Members | Haiku 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 increasing use of computers in ...
www.cl.cam.ac.uk/Research/HVG
Theory and Semantics Group University of Cambridge Computer Laboratory The work of the Theory and Semantics Group is centred around mathematical models of a variety of languages and logics. These models are intended to be used as a basis for specification and verification, and as a tool for clarifying programming concepts. We use techniques such as structural operational semantics, linear logic, ...
www.cl.cam.ac.uk/Research/TSG
The NLIP group consists of Prof K. Sparck Jones, Dr E.J. Briscoe, Dr A.A. Copestake, Dr S.H. Teufel, and about 8 research assistants and doctoral students: see the home pages of permanent staff for information about current and former students and for more details of personal projects and research. The group collaborates with other groups ...
www.cl.cam.ac.uk/Research/NL
Cambridge Programming Research Group ...
www.cl.cam.ac.uk/Research/CPRG
The New Computer Laboratory (The William Gates Building) on Cambridge University's West Cambridge Site ...
www-building.arct.cam.ac.uk/westc/cl/cl.html
RHF Joke Archives Lecture quotes. martin@pergolesi.demon.co.uk (Martin Harvey) (smirk, true) Seeing The infinite wisdom of Mr Kevin Giffhorn, I figured that I'd demonstrate that such people exist in the UK too. Some Computer Science students at Cambridge University (including myself) have their days enlightened by lecture courses of Dr Arthur Norman; who is well known for being the only computer ...
www.netfunny.com/rhf/jokes/01/Jan/morelecture.html