Astrónomo Imperial del Gran Song, discípulo de Chen Tuan, especializado en astronomía y ciencias matemáticas.