El asteroide (5608) Olmos, descubierto en 1993, fue nombrado en su honor.