MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Fangyi Zhou
PhD Student
Publications

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 supervision 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.

Publications

2022
2021
2020