Dr Alex Kavvos has won a Distinguished Paper Award for a paper presented at the International Conference on Functional Programming (ICFP).

The paper, which is titled Client-Server Sessions in Linear Logic, was co-authored with PhD student Zesen Qian and Prof Lars Birkedal of Aarhus University. It presents a new way of programming with client-server interactions in a safe way by using a deep connection between computation and mathematical logic.

ICFP is one of four flagship conferences organised by the ACM Special Interest Group in Programming Languages (SIGPLAN). The award is given to papers that the program committee think provide the best balance of importance, exposition, and novelty. These papers are specially held up to the programming languages community as papers not to be missed.