He contributed to celestial mechanics and perturbation theory and wrote books on those subjects.
He won the James Craig Watson Medal in 1960.