Xuechao Sun’s (孙学超) Homepage

Contact

  • Office: No. 606, Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: sunxc###ios**ac*cn

About me

I am currently a Master student in the group. My main research interests are:

  • TLA+ Language
  • Termination Analysis

Education