Anschließend forschte er am LOMI, ab 1974 als Senior-Wissenschaftler. 1972 löste er mit seiner Habilitationsarbeit (russischer Doktortitel) Hilberts Zehntes Problem, womit er international auf sich aufmerksam machte.