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

Не указана.

Образование

  • 1992 д.ф.-м.н. Схемы рефлексии в формальной арифметике

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

Всего: 59 статей, 4 тезисов докладов, 2 диссертации, 4 НИР, 5 руководств диссертациями, 10 дипломных работ, 1 курсовая работа, 11 учебных курсов, 17 преподаваний курсов, 9 докладов на конференциях, 3 выступление в СМИ, 2 членства в редколлегиях журналов, 3 членства в редколлегиях сборников, 6 членств в программных комитетах, 3 членства в диссертационных советах, 1 оценивание диссертации, 1 членство в научном обществе.

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

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

Соавторы: Семенов А.Л., Новиков С.П., Бухштабер В.М., Пентус М.Р., Атабекян В.С., Трещев Д.В., Razborov A.A., Гончаров С.С., Колмаков Е.А., Лысёнок И.Г., Садовничий В.А., Joosten J.J., Lysënok I.G., Visser J., Артемов С.Н., Веснин А.Ю., Гайфуллин А.А., Долбилин Н.П., Ероховец Н.Ю., Ковалёв М.Д., Макаров В.С., Оноприенко А.А., Орлов Д.О., Осипов Ю.С., Паршин А.Н., Сабитов И.Х., Таламбуца А.Л., Успенский В.А., Шейнман О.К., Bezhanishvili G. Fernández-Duque D. Flaminio T. Gabelaia D. Gerald B. Hans T. Icard T. Shchepin E.V. Vervoort M. Адян С.И. Александров В.А. Андреев Н.Н. Гуревич Ю.Ш. Козлов В.В. Козлов Лысёнок В.В. Матиясевич Ю.В. Плунгян В.А. Подольский В.В. Расцветаев А.Л. Рахилина Е.В. Рубан В. Татевосов С.Г. Тихомиров В.М. Шамканов Д.С. Шень А. Щепин Е.В.