Computer Laboratory
Automated Reasoning Group, Cambridge Programming Research Group, Computer Security Group, Natural Language and Information Processing Group, Rainbow Group, Systems Research Group, Theory and Semantics Group
Control Group in the Department of Engineering
Contact details for personnel, with links to publications, personal home pages and further research resources. Also includes a diary of forthcoming open seminars and events.