符号计算、计算机辅助设计与智能制造

   

070104-应用数学
070101-基础数学

符号计算，数学机械化方法，构造性微分差分代数
计算机辅助设计与智能制造
数字化设计与制造一体化

2002-09--2007-05   中国科学院数学与系统科学研究院   理学博士学位
1998-09--2002-07   中国科学技术大学   理学学士学位

   

2023-03~现在, 中国科学院数学与系统科学研究院, 研究员
2013-03~2023-03,中国科学院数学与系统科学研究院, 副研究员
2007-07~2013-03,中国科学院数学与系统科学研究院, 助理研究员

2024-12-01-2029-12-25,全国工业机械电气系统标准化技术委员会, 委员
2014-01-01-今,《系统科学与数学》编委, 编委会委员

特征列方法引论

已指导学生

宓振鹏  博士研究生  070104-应用数学  

马鸿宇  博士研究生  070104-应用数学  

吴芹  博士研究生  070104-应用数学  

谢岩峰  博士研究生  070104-应用数学  

张朝前  博士研究生  070104-应用数学  

现指导学生

孟可欣  博士研究生  070104-应用数学  

许文浩  硕士研究生  070104-应用数学  

张博文  博士研究生  070104-应用数学  

魏涛  硕士研究生  070104-应用数学