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

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

Образование

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

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

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

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

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

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