Monthly Archives: September 2017

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 Awards and honours, Frontpage | Tagged | Comments Off