薛建新 Jianxin Xue
- Address: BASICS, Department of Computer Science, Shanghai Jiaotong University,
No.800, Road Dongchuan, Shanghai 200240, P. R. China
- Telephone: +86 (21) 3420-5060
- E-mail: Jason_xjx@sjtu.edu.cn or Xuejx.hehe@gmail.com
- Webpage: basics.sjtu.edu.cn/~jianxin
Education
- PhD candidate, Shanghai Jiaotong University, supervised by Prof. Yuxi Fu
- Master in computer software and theory, National University of Defense Technology, supervised by Prof. Quanyuan Wu
- Bachelor in material science and technology, Kunming University of Science and Technology
Current Research Interests
- variants of Pi-calculus
- true concurrency semantics of process calculi
- reversible systems (focus)
Papers
- Jianxin Xue, Huan Long, Yuxi Fu, Remark on Some Pi Variants, working paper, 2011.