2012
Professor Andrew Pitts is made a Fellow of the ACM
12 December 2012
Andy Pitts has been made a Fellow of the ACM for his contributions to the theory of programming language semantics. More …
Computer Laboratory recruitment fair full to bursting
8 November 2012
Fifty one companies will converge on the Computer Laboratory on Thursday November 15th 2012 for the annual Supporters' Club recruitment fair. More …
PLS Research Group has four papers accepted for POPL 2013
29 October 2012
Of the 43 papers accepted (18.5% of those submitted) for the Symposium on Principles of Programming Languages (POPL 2013) to be held in Rome next January, four are authored by members of the Computer Laboratory's Programming, Logic, and Semantics Research Group. More …
Charles Babbage robot head inspires research on affective computing
16 October 2012
Professor Peter Robinson's research exploring the role of emotions in human-machine interaction has inspired research on affective computing. More …
ACM Queue interview with Robert Watson on Cambridge research into the hardware-software interface
16 October 2012
Robert Watson talks about spanning industry and academia, the importance of open source in software research, and challenges facing research that spans traditional boundaries in computer science. More …
Computer Lab graduate highly commended in 2012 Undergraduate Awards
14 October 2012
Congratulations to Manfredas Zabarauskas who has been selected as one of nine Highly Commended students in the field of Computer Science & Information Technology in the 2012 Undergraduate Awards. More …
Professor Marcelo Fiore awarded most influential paper 10-year award
11 October 2012
Marcelo Fiore, Professor in Mathematical Foundations of Computer Science, has been awarded the 10-Year Most Influential PPDP Paper Award. More …
Dr Malcolm Sabin awarded IMA's Gold Medal
9 October 2012
The Computer Laboratory is pleased to announce that the Institute of Mathematics and its Applications (IMA) will award its 2012 Gold Medal to Dr Malcolm Sabin. More …
Computer Lab researchers awarded European Research Council Starting Grants.
5 October 2012
Congratulations to Dr Stephen Clark, Dr Robert Mullins and Dr Frank Stajano who have been awarded European Research Council (ERC) Starting Grants. More …
Computer Lab researchers awarded Royal Society University Research Fellowships
4 October 2012
Congratulations to Dr Steven Murdoch and Dr Magnus Myreen who have been awarded Royal Society University Research Fellowships. More …
Xen Server problems - please report anomalies
24 July 2012
We have had a number of problems with one of our Xen pools. If any VMs appear to be behaving oddly, please contact sys-admin. A dom0 (actual machine which hosts VMs) had problems, so was taken out of service and replaced with a hot-spare. One VM (only!) appears to have problems running on the dom0, but there may be others lurking. More …
CentOS5 (Linux server) network service problems.
24 July 2012
A Redhat package problem caused CentOS 5 machines (Linux Servers) to loose access to certain network services. One of our two mail servers may have rejected email between 04:15 and 04:30, when the problem was spotted and the failing MTA was taken out of service. More …
Lab PhD receives best paper award at the Turing Centenary Conference
25 June 2012
Claudio Angione has received the best paper award at the Turing Centenary Conference in Manchester. The paper, 'Computing with Metabolic Machines', is joint work with Giovanni Carapezza, Jole Costanza, Pietro Lio' and Giuseppe Nicosia. More …
Lab PhD awarded Google Europe Fellowship
18 June 2012
Congratulations to Jisun An who has been awarded a Google Europe Fellowship in Social Computing. More …
Lab PhD wins EuroSys 2012 Roger Needham PhD award
28 May 2012
The Lab is pleased to announce that the EuroSys 2012 Roger Needham PhD award has been given to Derek Murray for 'A Distributed Execution Engine Supporting Data-Dependent Control Flow'. More …
DNS resolvers now validating
26 May 2012
The CL DNS resolvers have DNSSEC validation enabled. Please report any DNS problems to sys-admin. More …
Cambridge tops Guardian University Guide 2013 league table
24 May 2012
Cambridge has topped the Guardian University Guide league table for computer science. More …
Computer Lab students scoop Qualcomm Innovation Fellowships
21 May 2012
The Computer Laboratory is proud to announce that Tadas Baltrusaitis, Narseo Vallina-Rodriguez and Al- Mustafa Zaidi have been awarded Qualcomm Innovation Fellowships 2012. More …
Computer Lab research student awarded Google Anita Borg Memorial Scholarship
24 April 2012
Congratulations to research student Vaiva Imbrasaite who has been awarded a Google Anita Borg Scholarship. More …
Ubisense wins the double
23 April 2012
Ubisense, founded by the Computer Laboratory's Professor Andy Hopper, has won two prestigious UK Queen's Awards; for International Trade and for Innovation. More …
Financial Times puts Raspberry Pi to the test
12 March 2012
Cambridge's Computer Laboratory has nurtured the Raspberry Pi through its development. More …
Cambridge Computer Science undergraduate named 'Cyber Security Champion'
12 March 2012
Congratulations to first-year computer science undergraduate Jonathan Millican, who has been named the UK's 'Cyber Security Champion' following a competition sponsored by GCHQ and other industry heavyweights. More …
Remote backups resumed
8 February 2012
The regular remote backups that were suspended on 30th January have now resumed. In particular home directories are now up to date on the remote server and should continue to be backed up hourly. More …
IPv6 address changes
8 February 2012
There has recently been a change to the IPv6 address allocations used in the University, though at present this affects relatively few people. The reason for the change is that the original allocation to Cambridge was not thought to be large enough; a larger allocation was subsequently obtained but this entails phasing out the old addresses. More …
Problem with remote backups
1 February 2012
Since the morning of Monday 30th January, we have had a problem with the offsite backup system; a number of filesystems, including the one containing user home directories, are not being copied to the offsite server. More …