北京大学数学科学学院教授。主要研究方向为球堆积和数的几何。他彻底解决了二维的深洞问题（由Rogers于1950年提出）；对Fejes Toth的遮光问题（1959年提出）取得了第一个有效上界；否定了Grunbaum于1961年提出的一个猜想，并且取得了正四面体平移堆积密度（希尔伯特第18问题）的第一个实质性上界。