1. Исследование алгоритмических проблем теории групп
2. Исследование структуры степеней по Сигма-интерпретируемости
3. Исследования голографичных и слабо голографичных структур
4. Исследование линейно минимальных и сюръективных алгебр.
5. Описание теоретико-модельных свойств семейств теорий как в целом так и для естественных классов теорий.