北京大学数学科学学院教授，大数据分析与应用技术国家工程实验室（校内机构）副主任。主要研究方向计算机数学、自动推理和程序验证。在实代数、实几何自动推理方面取得了若干研究成果，并编制了能自动发现不等式型定理的软件DISCOVERER。
上一条：袁晓如 下一条：杨超
【关闭】
版权所有©北京大学大数据分析与应用技术国家工程实验室 京ICP备05065075号-1 京公网安备 110402430047 号
