El asteroide 9517 Niehaisheng lleva su nombre.