MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Fangyi Zhou (they/them)
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

2025
2023
2022
2021
2020