中国科学院数学与系统科学研究院陈绍示副研究员应邀作线下学术报告

发布时间:2023-03-30浏览次数:10

2023年3月29日,中国科学院数学与系统科学研究院陈绍示副研究员应邀在组合数学中心一楼报告厅作了题为“Dynamics of P-recursive Sequences”的学术报告。

 陈绍示, 现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算,计算微分代数与组合数学。2019年与合作者解决了组合中的Wilf-Zeilberger猜想,并发展了组合恒等式机器证明的第四代算法。近几年主要研究多变元幂级数的算术理论。目前担任Annals of Combinatorics, Journal of Difference Equations and Applications, ACM Communications in Computer Algebra, Maple Transactions, Journal of Systems Science and Complexity, 和《系统科学与数学》等杂志编委,并担任ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长. 曾获得第二届 “吴文俊计算机数学青年学者奖”(2019),第46届国际符号与代数计算年会(ISSAC2021)“杰出论文奖”,与国际计算机代数应用大会(ACA2022)“青年学者奖”。