报告人:陈绍示(中国科学院 数学与系统科学研究院)
陈绍示,现为中国科学院数学与系统科学研究院副研究员 博士生导师.主要研究符号计算,机器证明与组合数学.在符号计算领域旗舰会议 ISSAC 发表论文17篇,以及 Algebra and Number Theory Journal of Symbolic Computation,和 Journal of Combinatorial theory Series A 等期刊发表论文 10 余篇.目前担任 Annals of Combinatorics Journal of Systems Science and Complexity 和"系统科学与数学"等杂志编委,并担任 ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长. 曾获得第二届 "吴文俊计算机数学青年学者奖",第46届国际符号与代数计算年会(ISSAC)"杰出论文奖",与国际计算机代数应用大会(ACA2022)"青年学者奖".