π-calculus, Session Types research at the University of Oxford
Juju is a PhD student under supervision of Professor Nobuko Yoshida. Juju started their PhD at Imperial College and moved to IRISA in Rennes (France) in January 2023. They are set to defend their thesis this year. They have a master’s degree from Université d’Aix-Marseille, where they worked primarily on linear type systems over π-calculus under supervision of Pr. Emmanuel Beffara. Current research interests are focused on shared memory races and session types.
Juju is now finishing their PhD at Irisa in Rennes, France.