个人简介

教育背景 2004年09月~2011年12月：北京航空航天大学，数学与系统科学学院，数学知识管理，理学博士 2000年09月~2004年07月：北京航空航天大学，理学院信息与计算科学专业，理学学士 工作简历 2015年03月至今：北京航空航天大学，数学与系统科学学院，硕士生导师 研究兴趣：数学知识表示、获取、检索、验证、推理，教学智能化 2012年01月~2015年02月：北京航空航天大学，计算机学院，软件开发环境国家重点实验室，博士后 2008年09月~2009年09月：荷兰埃因霍温理工大学（TU/e），数学与计算机科学系，客座研究员 科研项目 主持 国家自然科学基金青年基金（2018~2020） 软件开发环境国家重点实验室探索性自选课题（2016~2017） 教学活动 2017年秋：计算几何，32学时，专业选修课 2015年秋~2017年春：工科高等代数，96学时，公共基础课 2015年春：数学分析II习题课，22学时，专业基础课