- 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 – 6/2020: 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.
- Synthesizing Nested Ranking Functions for Loop Programs via SVM, In ICFEM, pages 438-454, LNCS 11852, 2019.
- ROLL 1.0: ω-Regular Language Learning Library, In TACAS, pages 365-371, LNCS 11427, 2019.