Исследованы алгоритмические и теоретико-модельные свойства алгебраических структур и их производных. Решены проблемы существования (сильно) вычислимых представлений конкретных классов алгебраических структур, их единственности и алгоритмической сложности, аксиоматизируемости и классификации алгебраических структур, классификации математических структур.
