University of Cambridge Computer Security Group ...

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

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

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

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

Cambridge Programming Research Group ...