Харлампович, Ольга Георгиевна
Ольга Георгиевна Харлампович (род. 1960) — математик, лауреат премии имени А. И. Мальцева (2015). БиографияРодилась 25 марта 1960 года в Свердловске. В 1990 году — защитила докторскую диссертацию. С 1984 по 1991 годы — работала в Уральском университете. С 1991 года работала в университете Макгилла в Монреале (Канада), в настоящее время живет и работает в Нью-Йорке (США). Научная и общественная деятельностьАвтор более 60 научных работ в области алгебры. За решение проблемы Адяна о существовании конечно определённой группы с тождеством и неразрешимой проблемой равенства была награждена медалью Академии наук СССР за лучшую студенческую работу. Решила проблему Каргаполова об алгоритмической неразрешимости универсальной теории класса конечных нильпотентных групп. В 1998 году совместно с А. Г. Мясниковым было получено положительное решение одной из старейших проблем теории моделей — проблемы Тарского о совпадении элементарных теорий неабелевых свободных групп различных рангов и был построен разрешающий алгоритм для элементарной теории свободной неабелевой группы. С 1997 года входит в состав редколлегии международного журнала «International Journal of Algebra and Computation». Сочинения
Награды
Примечания
Ссылки
|