For her undergraduate work on the Novikov–Adian problem she was awarded in 1981 a Medal from the Soviet Academy of Sciences. She gave a negative answer to a question, posed in 1965 by Kargapolov and Mal'cev about the algorithmic decidability of the universal theory of the class of all finite nilpotent groups.