北京大学博雅特聘教授、北京大学长沙计算与数字经济研究院院长、壹零壹壹科技有限公司首席科学家。2002年毕业于中国科学技术大学数学系，2007年在中国科学院软件研究所取得博士学位。

长期从事大规模并行计算与人工智能研究，在偏微分方程的并行求解算法、高性能数学软件等方面取得了一系列重要成果。主持国家自然科学基金重点项目、科技部重点研发项目等国家级科研项目10余项，发表学术论文100余篇。研究成果曾获ACM戈登贝尔奖（2016）、中国科学院杰出科技成就奖（2017）、CCF-IEEE CS青年科学家奖（2018）、王选杰出青年学者奖（2020）、中国超算年度最佳应用奖（2021、2022）、ASPLOS最佳论文奖（2024）等。目前担任National Science Review编委、SIAM Journal on Scientific Computing编委、《数值计算与计算机应用》副主编、中国工业与应用数学学会高性能计算与数学软件专业委员会副主任、中国新一代人工智能产业技术创新战略联盟“AI指令集与开发接口”标准专题组组长、IEEE C/DC 2941标准工作组副主任等职。