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

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

Образование

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

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

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

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

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

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