Kharlampovich is known for her example of a finitely presented 3-step solvable group with unsolvable word problem (solution of the Novikov–Adian problem) [pub 1] and for the solution together with A. Myasnikov of the Tarski conjecture (from 1945) about equivalence of first order theories of finitely generated non-abelian free groups[pub 2] (also solved by Zlil Sela[3]) and decidability of this common theory.