FATA news update - March 2025
Published: 31 March 2025
News from the Formal Analysis Theory and Algorithms research section.
Publication of Session Types
Congratulations to Simon Gay on the publication of his latest book Session Types, co-authored with Vasco Vasconcelos, published by Cambridge University Press in March 2025.
Launch of KEPsoft Collaborative CIC
KEPsoft Collaborative CIC, co-founded by David Manlove and William Pettersson, has officially launched as a social enterprise. Building on years of research-led innovation, the company will deliver software and services to support national and international kidney exchange programmes, helping improve transplant access for patients worldwide. Read more here.
First published: 31 March 2025
<< News