einik"关于间断线条数至多可数的着名论断，并解决了美国"Lax"和"Glimm"院士提出的三个猜想。1989年获得陈省身数学奖。2001年当选中国科学院院士。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。2009年，获得华罗庚数学奖。