Kyoto Prize
米国科学アカデミーの会員、アメリカ芸術科学アカデミーのフェロー、アメリカ科学振興協会のフェローなども務めている。中国科学院の院士。妻のも理論計算機科学の研究者として知られている。2021年京都賞先端技術部門受賞。