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

Не указана.

Образование

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

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

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

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

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

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