2010.9 to
2014.6
西南交通大学
|
Applied Mathematics
|
Bachelor degree
|
Bachelor of science
2014.9 to
2019.6
中国科学院数学与系统科学研究院
|
Applied Mathematics
|
PhD graduate
|
Doctor of science
鲁东，博士，副教授，2021年7月来校工作至今。研究方向为符号计算，主要涉及到（参数）多项式系统的符号求解方法（签名Groebner基算法和参数Groebner系统算法），多元多项式矩阵的等价与分解研究，几何定理机器证明与量词消去等方向。目前发表论文十余篇，主持国家自然科学基金青年项目一项。此外，担任第四届中国数学会计算机数学专业委员会委员，美国数学会《Mathematical Reviews》评论员，以及符号计算领域中JSSC/ISSAC/CASC等期刊和会议的审稿人。
2010.9 to
2014.6
西南交通大学
|
Applied Mathematics
|
Bachelor degree
|
Bachelor of science
2014.9 to
2019.6
中国科学院数学与系统科学研究院
|
Applied Mathematics
|
PhD graduate
|
Doctor of science
2021.7 to Now
西南交通大学
数学学院
副教授
2019.7 to 2021.6
北京航空航天大学
数学科学学院
博士后