π-calculus, Session Types research at Imperial College
Weizhen has completed her PhD under supervison of Professor Nobuko Yoshida in Jan 2017.