Career Working at Skalnaté Pleso Observatory, he discovered a number of asteroids. The asteroid 6717 Antal is named after him.