News

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’. The Council of Professors and Heads of Computing (CPHC), in conjunction with BCS and BCS Academy of Computing, annually selects for publication the best British PhD/DPhil dissertations...

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 … Continue reading →

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

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. … Continue reading →

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. Twitter has more than 300 million monthly active users. But Gilani and his fellow researchers (Zafar Gilani, Ekaterina Kochmar, Jon...

Computer Laboratory researchers win best paper award at ACM SIGCOMM 2017

22 August 2017

Computer Laboratory researchers Gianni Antichi, Marcin Wójcik, and Andrew W. Moore, along with co-authors, have won the best paper award at ACM SIGCOMM 2017. The paper “Re-architecting datacenter networks and stacks for low latency and high performance” is a joint work between members of the Computer Laboratory’s Systems...

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

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. Known for spotting the ‘next big thing’, the annual MacRobert Award is presented to the engineers behind the UK engineering profession’s most exciting innovation. Originally conceived as a way to boost...

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 .

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. The new system can detect different parts of a sheep’s face and compares them...

Diana Popescu named Google Women Techmakers Scholar

27 May 2017

Diana Popescu has been named a Google Women Techmakers Scholar 2017. Through the Women Techmakers Scholars Program – formerly the Google Anita Borg Memorial Scholarship Program – Google is furthering Dr. Anita Borg’s vision of creating gender equality in the field of computer science by encouraging women to excel in...

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. Andy has been a recipient of numerous prestigious awards for his influential work, with … Continue reading →

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. Founded in 2012 by Computer Lab graduates Herman Narula and Rob Whitehead, Improbable’s software simulates systems on a massive scale with a level of detail not previously possible. Improbable will remain...

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 . The National Academy of Sciences (NAS) elects new members and foreign associates in recognition of their distinguished and continuing achievements in original research...

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. The Royal Society is a self-governing Fellowship made up of the most eminent scientists, engineers and technologists from the UK and the Commonwealth. Fellows and Foreign Members are elected for life through a peer...

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. The competition was open to all university students and professionals across … Continue reading →

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. Advait was a member of the the Rainbow Graphics & Interaction Group under the joint supervision of Alan Blackwell, Mateja Jamnik...

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’. The paper is joint work with Liang Wang and Jon Crowcroft both of the University of Cambridge, … Continue reading →

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. Team Juliet (George Andersen, Luke Baxter, George Prosser, Peter Rugg, Sunny Sun, and Niamh Walsh) scooped this year’s Technical Prize. The group’s project was titled ‘Learn to be an Alien’. Edward...

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. Around 300 students from around the world descended on Cambridge over the weekend of 28-29 January 2017 for Hack … Continue reading →

News feed import

5 December 2010

Department of Computer Science and Technology