Xiaojuan Cai

I am a lecturer in School of Software at Shanghai Jiao Tong University. I received my Ph.D degree in Computer Science from Shanghai Jiao Tong University in 2009, supervised by Prof. Yuxi Fu.

Email: cxj (at) sjtu.edu.cn

Office: School of Software, Shanghai Jiao Tong University
1210 Software Building, 800 Dongchuan Road, Shanghai 200240, China

Web: http://basics.sjtu.edu.cn/~xiaojuan/

Teaching

Research Interests

My research interests include expressiveness of process calculi, models for program analysis, and verifications on infinite systems.

Professional Activities

Publications

Miscellaneous Links