主讲人:秦小林
讲座时间:2021年10月29日(星期五) 14:30
讲座地点:1教108
讲座对象:全体师生
腾讯会议:720 995 912
主要内容:
介绍近年来在通过近似计算获取准确值方面的一些进展,主要包括:从近似值获取准确有理数、以及准确极小多项式的恢复、积分曲线计算等新近结果,将其应用于计算机代数中基础核心问题的因式分解中,并简要介绍团队在人工智能中的相关进展。
专家简介:
秦小林:博士,研究员,中国科学院成都计算机应用研究所自动推理实验室主任,中国科学院大学教授,博士生导师。四川省“天府万人计划”专家,中国科学院“西部青年学者”,瑞典林雪平大学博士后研究员;主要从事大数据与人工智能研究。主持国家自然科学基金、中科院STS区域重点A类、四川省人工智能重大专项、省部级科研项目、横向课题等20余项;在国内外重要期刊、会议发表论文60多篇(其中SCI/EI检索50余篇);获省部级一等奖、四川省科技进步二等奖、中国科学院经理优秀奖等。四川省“十四五”及中长期电子信息领域科技发展规划副组长;国家科技进步奖专家库、国家科技专家库、国家自然基金、教育部专家评审专家库和十余省市科技奖励与项目评议专家。