skip to content

Department of Computer Science and Technology

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.

Published by Jan Samols on Friday 8th September 2017