CHEN Xiaoyu   陈肖宇   my cv
School of Mathematics and Systems Science
Beihang University
Xueyuan Road No.37, Haidian District
Beijing 100191, China

E-mail: chenxiaoyu[at]

Computer Mathematics

  • Knowledge representation and interoperation
  • Formula/Diagram recognition and searching
  • Knowledge reasoning and verification

Computational Education

  • Open textbook
  • Interactive exercise
  • Intelligent tutoring
Academic Services

Session Co-chair for the

Guest Co-editor for the

Member of Program Committees for the

  • International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018)
  • International Workshop on Automated Deduction in Geometry (ADG 2018, 2016, 2014, 2012)
  • International Conference on Knowledge Management and Information Sharing (KMIS 2015, 2014, 2013, 2012, 2011)