Se la conoce sobre todo por su trabajo en ecuaciones diofánticas y en decidibilidad, que contribuyó en gran medida a la demostración por Yuri Matiyasévich de la irresolubilidad del décimo problema de Hilbert (Teorema de Matiyasevich).