Junnan Xu (徐俊楠)’s Homepage

Contact

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

About me

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

Mu Calculus
PμTL Axiomatization

Education

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

Conferences

An Axiomatisation of the Probabilistic μ-Calculus, Xu, J.; Liu, W.; Jansen, D. N. and Zhang, L. In ICFEM, pages 420-437, LNCS 11852, 2019.
ROLL 1.0: ω-Regular Language Learning Library, Li, Y.; Sun, X.; Turrini, A.; Chen, Y.-F. and Xu, J. In TACAS, pages 365-371, LNCS 11427, 2019.