Astronome impérial du Grand Song, disciple de Chen Tuan, spécialisé en astronomie et sciences mathématiques.