夏壁灿，北京大学数学科学学院教授，大数据分析与应用技术国家工程实验室副主任。主要研究方向计算机数学、自动推理和程序验证。在实代数、实几何自动推理方面取得了若干研究成果，并编制了能自动发现不等式型定理的软件DISCOVERER。