Alonzo Church Award success

Congratulations to Samson Abramsky, Hanno Nickau, and Luke Ong (together with their co-authors) for the 2017 Alonzo Church Award.

The award is given by ACM SIGLOG for 'Outstanding Contributions to Logic and Computation'. This year the award has been given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau 'for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models.'