π-calculus, Session Types research at Imperial College

Fangyi Zhou
PhD Student

Fangyi Zhou is a PhD student under the supervision of Professor Nobuko Yoshida. Fangyi obtained their master’s degree from Imperial College London, where they worked under the superivision of Professor Nobuko Yoshida on combining multiparty session types and refinement types. Their current research interests include the metatheory and implementation of refinement session types.