Experience
Education
Bio
I am a member of BASICS (by courtesy) at Shanghai Jiao Tong University.

My research interests include concurrency theory, programming semantics, type theory, and models for probabilistic computation.