Область научных интересов

математическая логика.

Образование

  • 2024 д.ф.-м.н. Алгоритмические вопросы для субструктурных логик с итерацией Клини
  • 2012 к.ф.-м.н. Категориальные грамматики, основанные на вариантах исчисления Ламбека

Результаты деятельности

Всего: 60 статей, 2 тезисов докладов, 3 книги, 2 диссертации, 8 НИР, 8 дипломных работ, 5 учебных курсов, 22 преподавания курса, 40 докладов на конференциях, 1 членство в редколлегии журнала, 11 членств в программных комитетах, 1 членство в диссертационном совете, 2 награды.

Количество цитирований статей в журналах по данным Web of Science: 20, Scopus: 177

Просмотреть публикации »

Соавторы: Scedrov A., Канович М.И., Nigam V., Morrill G., Speranski S.O., Дудаков С.М., Оноприенко А.А., Рыжкова Н.С., Blaisdell E., Fofanova E.M., Karlov B.N., Pimentel E., Бабенко М.А., Белов А.Я., Верещагин Н.К., Вишникин М.Е., Золин Е.Е., Канунников А.Л., Карлов Б.Н., Крупский В.Н., Луговая В.Н., Любецкий В.А., Осипов И.И., Пентус М.Р., Рыжова А.А., Семенов А.Л., Сопрунов С.Ф., Сорокин А.А., Стрелкова Н.П., Шехтман В.Б., Яворская Т.Л.