Основные направления исследований: изучение аксиоматических классов моделей для классических объектов математики: групп, колец, полей, булевых алгебр, многообразий и квазимногообразий алгебраических систем и теории допустимых множеств для построения аналога обобщенной теории вычислимости над абстрактными моделями; изучение проблем формализации различных объектов на основе философского рассмотрения основных понятий философии математики и науки, а также проблем построения языков спецификации задач в рамках проблемно-ориентированного подхода в математике, проблем построения семантики для паранепротиворечивых логик.