数学家，主要从事李群表示论及相关领域的研究。1976年11月生于浙江省舟山市。1999年于浙江大学获学士学位，2004年于香港科技大学获博士学位。2019年当选中国科学院院士。