- 2024年6月25日至28日，尚伟峰同学参加在古巴哈瓦那举行的第29届计算机代数的应用国际会议（ACA 2024），并在会上作了题为 A Framework of Plane Geometric Knowledge Discovery 的学术报告。
- 2024年5月，王东明老师、王林朋同学合作的论文 Decomposition of Polynomial Ideals into Triangular Regular Sequences 被第49届国际符号和代数计算会议（ISSAC 2024）接收。
- 2024年5月，齐朝星同学、牟晨琪老师合作的论文 Complexity Analysis of Triangular Decomposition over F2 with Strongly Chordal Graphs 被第49届国际符号和代数计算会议（ISSAC 2024）接收。
- 2024年4月，黄博、王东明、杨静老师合作的论文 Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation 被第49届国际符号和代数计算会议（ISSAC 2024）接收。
- 2023年12月，张恺健同学通过研究生毕业论文答辩，获硕士学位。
- 2023年4月28日，王翔宇同学通过博士学位论文答辩，获得北京航空航天大学理学博士学位。
- 2023年4月，黄博老师的论文 Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems 被第48届国际符号和代数计算会议（ISSAC 2023）接收。
- 2022年12月，董明宇同学通过研究生毕业论文答辩，获硕士学位。
- 2022年7月，牟晨琪老师和尚伟峰同学参加了第47届国际符号和代数计算会议（ISSAC 2022），后者在会上作了学术报告。
- 2022年5月，尚伟峰同学、牟晨琪老师、Kapur 教授合作的论文 Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals 被第47届国际符号和代数计算会议（ISSAC 2022）接收。论文链接
- 2022年3月，黄博老师的博士学位论文“微分系统的极限环分岔与混沌行为的计算机辅助分析”经校学位评定委员会评审后获批为北京航空航天大学2022年校级优秀博士学位论文。
- 2021年12月，高蓉、巨雯雯、李宗嵘、宋玉锦和王伟同学通过研究生毕业论文答辩，获硕士学位。
- 2021年8月18日，黄博老师申报的国家自然科学基金委员会青年科学基金项目“基于符号计算的动力系统极限环分岔与混沌行为分析”通过评审，获得资助。
- 2021年6月，牟晨琪老师荣获第三届吴文俊计算机数学青年学者奖。新闻链接
- 2021年5月25日，徐娟同学通过博士学位论文答辩，获得北京航空航天大学理学博士学位。
- 2021年5月，胡一帆同学、黄博老师、牛薇老师合作的论文 Bounding the Number of Limit Cycles for Parametric Liénard Systems Using Symbolic Computation Methods 被 Communications in Nonlinear Science and Numerical Simulation 期刊接收。论文链接
- 2021年5月，董日娜、鲁东、牟晨琪、王东明老师合作的论文 Comprehensive Characteristic Decomposition of Parametric Polynomial Systems 被第46届国际符号和代数计算会议（ISSAC 2021）接收。论文链接
