Astrônomo Imperial do Grande Song, discípulo de Chen Tuan, especializado em astronomia e ciências matemáticas.