Cambridge teams triumph at the 2017 UK & Ireland Programming Contest

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

Posted in Awards and honours, Frontpage | Comments Off

Annual Faculty Meeting

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.

Posted in Awards and honours, Frontpage, Uncategorized | Comments Off

Stephen Dolan wins 2017 CPHC/BCS Distinguished Dissertation Award

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 in computer science.

Stephen was a member of the Programming, Logic, and Semantics Group under the supervision of Professor Alan Mycroft.

Posted in Awards and honours, Frontpage, Uncategorized | Comments Off

Thomas Brouwer wins the Homerton Santander award for PhD research

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.

Posted in Awards and honours, Frontpage | Comments Off

Computer Laboratory researchers win SIGPLAN Most Influential ICFP Paper Award 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.

Posted in Awards and honours, Frontpage | Comments Off

Professor Mike Gordon FRS

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.

Obituary

Posted in Awards and honours, Frontpage | Tagged | Comments Off

Zafar Gilani presents research on Twitter bots

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 Crowcroft: Classification of Twitter Accounts into Automated Agents and Human Users) have estimated that between about 30 million and 50 million of those are Twitter bots—automated accounts that do the bidding of their code-writing creators.

Zafar Gilani said “There could newsbots, and there could be spam bots. Or there could be bots doing political infiltration, which is obviously bad. Or social infiltration which could be bad.”

Gilani has built an algorithm to single out bots from human accounts, using factors like tweet frequency or content, and how much users interacted with other users. The system is able to tell bot from human 86 percent of the time.

Zafar is a member of the NetOS research group under the supervision of Professor Jon Crowcroft.

Posted in Uncategorized | Comments Off

Computer Laboratory researchers win best paper award at ACM SIGCOMM 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 Research Group, Mark Handley at University College London, and Costin Raiciu, Andrei Voinescu, and Alexandru Agache of the University Politehnica of Bucharest.

Posted in Awards and honours, Frontpage | Comments Off

Ramana Kumar wins the ACM SIGPLAN Doctoral Dissertation Award

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.

Ramana is the third PhD student from the Computer Laboratory to have been awarded this prize, in this case for his dissertation Self-compilation and self-verification. This dissertation establishes the possibility of end-to-end verification of software, and makes use of this property for both the compiler and theorem prover using the CakeML language.

Posted in Awards and honours, Frontpage | Comments Off

Raspberry Pi wins UK’s top engineering innovation prize

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 computer science applications to the University of Cambridge, Raspberry Pi has created a whole new class of computer that has transformed the way engineers design control systems in industry.

The Pi has also proved phenomenally successful in its original educational ambition. Over 12 million devices have been sold in total, re-engaging people with the power of coding, and helping to ensure that future generations are equipped for the increasingly digital jobs of the future.

Dr Dame Sue Ion DBE FREng FRS, Chair of the MacRobert Award judging panel, said:

“All three of this year’s finalists demonstrate exceptional engineering, but what sets Raspberry Pi apart is the sheer quality of the innovation, which has allowed the computer to be used far beyond its original purpose. By blending old and new technology with innovative systems engineering and circuit board design, the team has created a computer that is cheap, robust, small and flexible. It is manufactured in the UK cheaper and at higher quality than elsewhere. Raspberry Pi’s original educational goal has actually resulted in a computer control system that can influence many different industries.

“Raspberry Pi has also inspired multiple generations to get into coding: children are learning about coding for the first time, often alongside their parents and grandparents. Communities in the developing world are being empowered by the Raspberry Pi and its modern day computing-on-a-budget.”

Posted in Awards and honours, Frontpage | Comments Off