Чем занимается
Ключевые темы по публикациям: Логика, программирование и системы типов; Логика, рассуждение и знания; Современные исследования алгебры и логики; Теория полугрупп и автоматов; Методы обработки естественного языка.
Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал
Выбранные работы
Все 71 в OpenAlexЧасть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.
- On Lambek Grammars with Kleene Star2026
Алгоритмическая сложность теорий с итерацией Клини2026 · аннотациясвернуть
Итерация (звeздочка) Клини - это одна из наиболее интересных алгебраических операций, встречающихся в теоретической информатике. Исследования структур с этой операцией - алгебр Клини и их расширений - начинаются с…
- Complexity of Equational Theories for Relational and Language Action Lattices2026
Algorithmic complexity of theories with Kleene iteration2026 · аннотациясвернуть
Kleene iteration (star operator) is one of the most interesting algebraic operations arising in computer science. The studies of structures with this operation, Kleene algebras and their extensions, begin with the…
- Complexity of Reasoning in Kleene Algebra with Sum-of-Letters Hypotheses2026
- Infinitary Action Logic with Multiplexing2022
The Logic of Action Lattices is Undecidable2019 · аннотациясвернуть
We prove algorithmic undecidability of the (in)equational theory of residuated Kleene lattices (action lattices), thus solving a problem left open by D. Kozen, P. Jipsen, W. Buszkowski.
- The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later2019
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.
Шаблон письма
Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.