π-calculus, Session Types research at the University of Oxford
Seojun Lee has been awarded the Department of Computer Science Prize for Best Project in Part B with the project titled Verification of Probabilistic Distributed Protocols with Multiparty Session Types. Congratulations, Seojun!