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

Компьютерная логика, неклассические логики, теория доказательств, математическая лингвистика.

Образование

  • 2016 стажировка Управление учебно-методической деятельности и дополнительного образования МГУ (Россия)
  • 2001 д.ф.-м.н.

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

Всего: 38 статей, 1 тезисы доклада, 4 книги, 9 НИР, 3 руководства диссертациями, 13 дипломных работ, 16 курсовых работ, 20 учебных курсов, 92 преподавания курса, 5 докладов на конференциях, 1 членство в редколлегии журнала, 2 членства в программных комитетах, 2 оценивания диссертаций, 1 стажировка.

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

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

Соавторы: Пентус А.Е., Семенов А.Л., Беклемишев Л.Д., Новиков С.П., Гончаров С.С., Садовничий В.А., Атабекян В.С., Бухштабер В.М., Осипов Ю.С., Таламбуца А.Л., Трещев Д.В., Успенский В.А., Razborov A.A., Адян С.И., Андреев Н.Н., Бабенко М.А., Белов А.Я., Верещагин Н.К., Вишникин М.Е., Золин Е.Е., Козлов В.В., Козлов Лысёнок В.В., Крупский В.Н., Кузнецов С.Л., Лысёнок И.Г., Любецкий В.А., Матиясевич Ю.В., Оноприенко А.А., Плунгян В.А., Подольский В.В., Рахилина Е.В., Рубан В., Сопрунов С.Ф., Сорокин А.А., Татевосов С.Г., Тихомиров В.М., Шень А., Шехтман В.Б., Яворская Т.Л.