中国科学院数学与系统科学研究院研究员，计算数学与科学工程计算研究所所长。1963年7月生于湖南浏阳，1983年和1986年于湘潭大学分别获学士学位和硕士学位，1991年于中国科学院系统科学研究所获博士学位。2020年当选为中国工业与应用数学学会会士。

主要从事电子结构计算的数学理论和共性基础算法研究。提供了Hohenberg-Kohn定理完整的数学证明；与合作者建立了电子密度泛函模型数值逼近的数学理论、设计了有限元多尺度局部分解算法。现主持国家重点研发计划“集成电路设计中的新型计算方法及数学理论”项目。