Prof. Nobuko Yoshida of Oxford University is visiting us next Monday (3 February). Nobuko has kindly agreed to give a talk on her work during her visit. The talk will be at 1pm in JC1.33a. Nobuko Yoshida, University of Oxford, UK https://www.cs.ox.ac.uk/people/nobuko.yoshida/ Title Multiparty Session Types: Separation and Encodability Results Abstract Multiparty session types (MPST) … Seminar, Nobuko Yoshida, Monday 3rd February
The School held a successful PGR Poster Session on Monday 27th January, which was very well attended. The posters displayed were impressive and well presented by the PGR students. Well done to all who attended and took part! 👏
On behalf of the School, we would like to congratulate Thomas Hansen supervised by Dr Edwin Brady who has successfully defended his thesis. Thanks to Dr Adam Barwell who was internal examiner and Dr Jeremy Yallop from University of Cambridge as external examiner. Many congratulations to Thomas! 🎉