	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.