2017
Cambridge team wins The 2017 Northwestern Europe Regional Contest
27 November 2017
Congratulations to Team Me[N]ta∭ca, winners of The 2017 Northwestern Europe Regional Contest. More …
Cambridge joins new UK Hardware Security Institute
23 November 2017
Researchers at the University of Cambridge are part of the new £5m multi-university Research Institute to improve hardware security and reduce vulnerability to cyber threats. More …
Department's researchers awarded a double at SPLASH 2017
26 October 2017
Department researchers Victor Gomes, Martin Kleppmann, Dominic Mulligan, and Alastair Beresford have been awarded both a distinguished paper award and a distinguished artefact award for their paper "Verifying strong evential consistency in distributed systems" at the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2017. More …
Cambridge teams triumph at the 2017 UK & Ireland Programming Contest
23 October 2017
Cambridge teams occupied six of the top ten places (including 1st place) at this year's UK & Ireland Programming Contest (UKIEPC). More …
Annual Faculty Meeting
20 October 2017
This year's Annual Meeting of the Faculty will be at 14:15 on Tuesday 7 November 2017 in Lecture Theatre 1 in the William gates Building. The meeting will be followed by refreshments in the Street. All are welcome to attend. More …
Stephen Dolan wins 2017 CPHC/BCS Distinguished Dissertation Award
27 September 2017
Stephen Dolan has been named the winner of the 2017 CPHC/BCS Distinguished Dissertation Award for his dissertation 'Algebraic subtyping'. More …
Thomas Brouwer wins the Homerton Santander award for PhD research
26 September 2017
Thomas Brouwer has won the Homerton Santander award for outstanding achievement in PhD research. Thomas was awarded the prize for his work under Pietro Lio' investigating the use of Bayesian models for analysing biological datasets. The award is given annually for outstanding research in STEM subjects. More …
Computer Laboratory researchers win SIGPLAN Most Influential ICFP Paper Award 2017
8 September 2017
Computer Laboratory researchers, led by Professor Peter Sewell, have won the SIGPLAN Most Influential ICFP Paper Award 2017. The paper “Ott: Effective Tool Support for the Working Semanticist” is joint work between members of the Computer Laboratory's Programming, Logic, and Semantics Group and Francesco Zappa Nardelli of INRIA Paris. More …
Professor Mike Gordon FRS
1 September 2017
It is with great sadness that we announce the death of Professor Mike Gordon FRS. Mike Gordon joined the Computer Laboratory in 1981 and he made magnificent contributions to the Department in many different ways. He will be sadly missed. More …
Zafar Gilani presents research on Twitter bots
24 August 2017
PhD student Zafar Gilani recently presented the results of research on Twitter bots, at the International Conference on Advances in Social Networks Analysis and Mining in Sydney, Australia. More …
Computer Laboratory researchers win best paper award at ACM SIGCOMM 2017
22 August 2017
Computer Laboratory researchers Gianni Antichi, Marcin Wójcik, and Andrew W. Moore, along with co-authors, have won the best paper award at ACM SIGCOMM 2017. More …
Ramana Kumar wins the ACM SIGPLAN Doctoral Dissertation Award
14 July 2017
Ramama Kumar has been awarded the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for 2017. The award is presented annually to the author of an outstanding dissertation in the field of programming languages, and includes a prize of $1000. This prize was established to honour the theoretical contributions made by John C. Reynolds to programming languages including type theory and Lambda calculus. More …
Raspberry Pi wins UK’s top engineering innovation prize
6 July 2017
Raspberry Pi has won the UK’s top engineering innovation prize – the Royal Academy of Engineering MacRobert Award. More …
Wheeler lecture video now available
23 June 2017
The video of Angela Sasse's lecture entitled "Can we make people value IT security?" is now available. This lecture was given on 24th May as this year's Wheeler lecture, and is now available to view. More …
Dr Marwa Mahmoud presents research on new artificial intelligence system
19 June 2017
Dr Marwa Mahmoud recently presented the results of research on a new artificial intelligence system designed to detect pain levels in sheep, at the 12th IEEE International Conference on Automatic Face and Gesture Recognition in Washington, DC. More …
Diana Popescu named Google Women Techmakers Scholar
27 May 2017
Diana Popescu has been named a Google Women Techmakers Scholar 2017. More …
Professor Andy Hopper appointed Treasurer of the Royal Society
17 May 2017
Professor Andy Hopper CBE FREng FRS has been appointed Treasurer of the Royal Society. The appointment, which is for five years, starts on November 30 2017. More …
Cambridge Computer Lab Ring Company of the Year, Improbable, raises $500m
15 May 2017
Cambridge Computer Lab Ring Company of the Year, Improbable, has raised $502m from Japan’s SoftBank corporation. More …
Professor Sir Tony Hoare newly elected a foreign associate of the National Academy of Sciences
8 May 2017
Professor Sir Tony Hoare, an Honorary member of the Computer Laboratory, has been elected a foreign associate of the National Academy of Sciences. More …
Professor Lawrence Paulson elected a new fellow of the Royal Society
7 May 2017
Lawrence Paulson, Professor of Computational Logic, has been elected a new fellow of the Royal Society. More …
Success for Cambridge team at final of Google's Hash Code 2017
3 April 2017
Congratulations to team МЕТАШСА (PhD student Petar Veličković along with Part IB students Marko Stanković and Dimitrije Erdeljan) who came fifth in the final of Google's Hash Code 2017. More …
Advait Sarkar receives CSAR award
30 March 2017
The Cambridge Society for the Application of Research has announced that Advait Sarkar is one of 12 PhD students from the University of Cambridge to receive a CSAR Student Award for 2017. More …
Cristina Muñoz receives best paper award at NetSys 2017
22 March 2017
Cristina Muñoz has received a best paper award at NetSys 2017 for his paper‘I(FIB)F: Iterated Bloom Filters for Routing in Named Data Networks'. More …
Part IB Group Design Project winners announced
10 March 2017
Congratulations to all the Part IB project design groups who put on a fantastic display at the March 8th demonstrations. More …
Computer Lab team awarded bronze medal at Hack Cambridge Recurse
30 January 2017
Congratulations to Catalina Cangea, Laurynas Karazija, Edgar Liberis and Petar Veličković who were awarded a bronze medal at Cambridge Hack Recurse. More …
UPS move 10th January 2017
1 January 2017
On the 10th January the UPS was moved. This left core services vulnerable to building power outage until it is recommissioned later that day. More …