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

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

Образование

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

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

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

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

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

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