- Office: No. 611, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email: xujn###ios**ac*cn
I am currently a Master student in the group. My main research interests are:
- Mu Calculus
- PμTL Axiomatization
- 9/2016 – 8/2020: Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- 9/2012 – 6/2016: Information and Computing Sciences (Bachelor’s degree) at Peking University
- An Axiomatisation of the Probabilistic μ-Calculus, In ICFEM, pages 420-437, LNCS 11852, 2019.
- ROLL 1.0: ω-Regular Language Learning Library, In TACAS, pages 365-371, LNCS 11427, 2019.