时间：2025年10月14日（周二） 10:00

地点：电子楼 206

主题：智能几何教学系统：个性化出题与自动求解

主讲嘉宾：中国科学院软件研究所研究员、博士生导师，中国科学院大学岗位教授，马菲菲

主办单位：北京师范大学人工智能学院

主持人：北京师范大学人工智能学院，郭宇

主讲人简介：

马菲菲，中国科学院软件研究所研究员、博士生导师，中国科学院大学岗位教授。研究方向为自动推理和约束求解，在IJCAR、ISSAC、CP、SAT、TCS、IJCAI、AAAI、JAIR、NeurIPS、EMNLP、ICCV、ISSTA、ASE等计算机科学、人工智能和软件工程等领域的高水平会议或期刊上发表论文30余篇。曾获ACM SIGSOFT Distinguished Paper Award，中国科学院青年创新促进会优秀会员，王选新闻科学技术一等奖，中国电影电视技术学会科技进步二等奖。

报名二维码