Monthly Archives: September 2017

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

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

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

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

Posted in Frontpage | Tagged | Comments Off