he worked on diophantine approximation and geometry of numbers, where he used both classical and p-adic analytic methods. he introduced the chabauty topology to generalise mahler's compactness theorem from euclidean lattices to more general discrete subgroups.