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

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

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

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

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

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 for outstanding research in STEM subjects.

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

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.


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

Read more