Olga Kharlampovich


Olga Kharlampovich is a Russian-Canadian mathematician working in the area of group theory. She is the Mary P. Dolciani Professor of Mathematics at the CUNY Graduate Center and Hunter College.

Contributions

Kharlampovich is known for her example of a finitely presented 3-step solvable group with unsolvable word problem and for the solution together with A. Myasnikov of the Tarski conjecture about equivalence of first order theories of finitely generated non-abelian free groups and decidability of this common theory.
Algebraic geometry for groups, that was introduced by Baumslag, Myasnikov, Remeslennikov and Kharlampovich
became one of the new research directions in combinatorial group theory.

Education and career

She received her Ph.D. from the Leningrad State University and Russian “Doctor of Science” in 1990 from the Moscow Steklov Institute.
Prior to her current appointment at CUNY, she held a position at the Ural State University, Ekaterinburg, Russia, and was a Professor of Mathematics at McGill University, Montreal, Canada, where she had been working since 1990.
As of August 2011 she moved to Hunter College of the City University of New York as the Mary P. Dolciani Professor of Mathematics, where she is the inaugural holder of the first endowed professorship in the Department of Mathematics and Statistics.

Recognition

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.
Kharlampovich was awarded in 1996 the Krieger–Nelson Prize of the CMS for her work on algorithmic problems in varieties of groups and Lie algebras.
She was awarded the 2015 Mal'cev Prize for the series of works on fundamental model-theoretic problems in algebra.
She was elected a Fellow of the American Mathematical Society in the 2020 class "for contributions to algorithmic and geometric group theory, algebra and logic."

Selected publications