MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Julien Gabet
PhD Student
Publications

Juju is a PhD student under supervision of Professor Nobuko Yoshida. 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.

Publications