Міжнародний астрономічний союз (IAU) назвав малу планету ім'ям видатного українського вченого Івана Пулюя.