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.