- Office: No. 606, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email: sunxc###ios**ac*cn
I am currently a Master student in the group. My main research interests are:
- TLA+ Language
- Termination Analysis
- 9/2017 – present: Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- 9/2013 – 6/2017: School of Software (Bachelor’s degree) at Dalian University of Technology.