Zhenjing Ding

February 25, 1949  -  October 29, 2023