Окончил Цзяотунский университет в Шанхае в 1940. В 1947 он поехал во Францию для продолжения учёбы в Страсбургском университете. Ученик Ш.Эресманна. C 1957 академик АН Китая.
Основные работы лежат в области алгебраической топологии. Также внёс вклад в алгебраическую геометрию, теорию игр, теорию искусственного интеллекта (автоматическое доказательство теорем), историю китайской математики.
Лауреат премии Шау (Shaw Prize) за 2006 год.