Алексей Ильич Стукачев (р. 1975)

Биографические сведения

Доцент кафедры дискретной математики и информатики механико-математического факультета НГУ, кафедры фундаментальной и прикладной лингвистики Гуманитарного института НГУ и кафедры математики СУНЦ НГУ.
В 1996 г. окончил бакалавриат, в 2000 г. – магистратуру механико-математического факультета НГУ. В 2002 г. защитил диссертацию на звание канд. физ.‑мат. наук, тема диссертации: «Вычислимость в допустимых множествах», научный руководитель: акад. РАН Ю. Л. Ершов. В 2012 г. получил ученое звание доцента.
С 2003 г. – старший научный сотрудник Института математики им. С. Л. Соболева СО РАН. На механико-математическом факультете НГУ преподаёт с 2003 г. На кафедре фундаментальной и прикладной лингвистики Гуманитарного института НГУ работает в должности доцента с 2017 г., ведёт курс «Математические модели языка».
Работал в качестве приглашенного исследователя в Университете г. Сиена, (Италия) в Университете г. София (Болгария), в Техническом университете г. Дармштадт (Германия), в Университете г. Зиген (Германия). Научная работа в различное время была поддержана грантом Президента РФ для молодых кандидатов наук, грантами INTAS, РФФИ, Фонда Потанина и др.

Сфера научных интересов

Математическая логика, теория вычислимости (обобщенная вычислимость, вычислимость в допустимых множествах, HF‑вычислимость), теория моделей (конструктивные модели, эффективные представления систем, степени представимости), вычислимый анализ, математическая лингвистика (формальная семантика, семантика Монтегю, дистрибутивная семантика).

Научный вклад

Основные научные результаты относятся к теории обобщенной вычислимости, развитой в работах Дж. Барвайса, Я. Московакиса и Ю. Л. Ершова. Для изучения обобщенно конструктивизируемых структур были введены отношения Сигма-сводимости и сильной Сигма-сводимости, исследованы индуцированные ими полурешетки степеней алгоритмической сложности структур, в качестве следствий получены результаты в теории моделей, в классической теории вычислимости на натуральных числах и в теории вычислимости над классическими структурами (действительные и p‑адические  числа, плотные линейные порядки и их интервальные расширения). Построен и исследован класс конструктивных моделей интенсиональной логики Монтегю, использующейся для формализации семантики естественных языков. Эти результаты позволяют применять методы математической лингвистики в решении задач компьютерной лингвистики, возникающих, в частности, в исследованиях в области искусственного интеллекта.

Основные научные труды

• Stukachev A. I. Uniformization property in heredidary finite superstructures // Siberian Advances in Mathematics. 1997, vol. 7, no. 1, pp. 123–132.
• Ershov Yu. L., Puzarenko V. G., Stukachev A. I. HF-Computability // S. B. Cooper and A. Sorbi (eds.): Computability in Context: Computation and Logic in the Real World, Imperial College Press/World Scientific. 2011, pp. 173–248.
  
• Alexey Stukachev. Effective Model Theory: an Approach via Sigma-Definability // Lecture Notes in Logic. 2013, vol. 41, pp. 164–197.
  
• Стукачев А. И. Интервальные расширения порядков и темпоральные аппроксимационные пространства // Сибирский математический журнал. 2021. Т. 62, № 4. С. 894–910.
  

Подготовка кадров

• Рыжков А. М. (НГУ‑2018), тема ВКР – «Использование формальной семантики при анализе категорий аспекта и времени в русском и английском языках»;
  
• Бурнистов А. С. (НГУ‑2021), тема ВКР – «Конструктивизируемость функциональных структур над числовыми системами».

Вернуться на страницу направления