skip to content

Department of Computer Science and Technology


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. NWERC 2017 is an official regional contest in the ACM International Collegiate Programming Contest. It draws students from colleges and universities throughout Belgium, Luxembourg, Great Britain, Ireland, Iceland, Norway, Sweden...

Read 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. Funded by the Engineering and Physical Sciences Research Council (EPSRC) and the National Cyber Security Centre (NCSC), the Research Institute in...

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

Read 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). The UKIEPC is the UK & Ireland Subregional Contest for NWERC (the Northwestern Europe European Regional Contest), of the ACM International Collegiate Programming Contest (ICPC).

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

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

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

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

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

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

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

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

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

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

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

Read more

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

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

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

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

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

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

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

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

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

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

Read more

News feed import

5 December 2010

Read more