基本信息
浏览量:249
职业迁徙
个人简介
荣誉获奖
2020年 北京大学教学优秀奖
2005-2006年度 北京大学教学优秀奖
2001年 周培源数学奖教金
2000-2001 年度优秀班主任
社会兼职
1. 中国工业与应用数学会常务理事
2. 中国数学会计算机数学专委会副主任
3. 中国计算机学会形式化方法专业组委员
4. 国际学术期刊 Mathematics in Computer Science 编委
5. 《系统科学与数学》第八届编委
6. 北京智源人工智能研究院“人工智能的数理基础”重大研究方向项目经理
7. 十届海淀区政协常委
8. 九三学社北京市委委员、九三学社北京大学委员会副主委
2020年 北京大学教学优秀奖
2005-2006年度 北京大学教学优秀奖
2001年 周培源数学奖教金
2000-2001 年度优秀班主任
社会兼职
1. 中国工业与应用数学会常务理事
2. 中国数学会计算机数学专委会副主任
3. 中国计算机学会形式化方法专业组委员
4. 国际学术期刊 Mathematics in Computer Science 编委
5. 《系统科学与数学》第八届编委
6. 北京智源人工智能研究院“人工智能的数理基础”重大研究方向项目经理
7. 十届海淀区政协常委
8. 九三学社北京市委委员、九三学社北京大学委员会副主委
研究兴趣
论文共 107 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ACTA INFORMATICAno. 1 (2024): 23-52
arxiv(2024)
引用0浏览0引用
0
0
arxiv(2023)
引用0浏览0EI引用
0
0
JOURNAL OF SYMBOLIC COMPUTATION (2023): 324-344
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITYno. 6 (2023): 2661-2680
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn