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
北京航空航天大学
数学科学学院
博士后