ИСТИНА

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 1 сентября 1984, по совместительству

Соавторы: Nerode A., Кузнец Р.М., Ногина Е.Ю., Джапаридзе Г.К., Davoren J., Iemhoff R., Protopopescu T., Straßen T. и др.

90 статей, 2 доклада на конференциях, 8 тезисов докладов, 5 членств в редколлегиях сборников, 1 членство в программном комитете, 4 диссертации, 5 дипломных работ

Соавторы: Семенов А.Л., Новиков С.П., Бухштабер В.М., Гончаров С.С., Пентус М.Р., Атабекян В.С., Трещев Д.В., Razborov A.A. и др.

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

Соавторы: Иванов-Погодаев И.А., Rowen L.H., Jie-Tai Y.;., Estrin Y., Pasternak E., Dyskin A.V., Елишев А.М., Malev S. и др.

420 статей, 37 книг, 210 докладов на конференциях, 100 тезисов докладов, 12 НИР, 13 патентов, 12 наград, 10 членств в редколлегиях журналов, 6 членств в программных комитетах, 16 диссертаций, 36 дипломных работ, 3 курсовые работы, 41 учебный курс, 5 выступления в СМИ

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 1 сентября 1984

Соавторы: Шень А., Buhrman H., Мучник А.А., Ромащенко А.Е., Durand B., Koucky M., Vitanyi Paul M.B., Успенский В.А. и др.

107 статей, 10 книг, 36 докладов на конференциях, 6 НИР, 2 членства в научных обществах, 2 членства в редколлегиях сборников, 12 членств в программных комитетах, 1 членство в диссертационном совете, 12 диссертаций, 86 дипломных работ, 71 курсовая работа, 28 учебных курсов

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 15 ноября 2021, по совместительству

Соавторы: Меськов В.С., Сабанина Н.Р., Семенов А.Л., Алешковский И.А., Беляева Г.Ф., Гаспаришвили А.Т., Ионов А.А., Крухмалева О.В. и др.

2 статьи, 3 книги, 23 доклада на конференциях, 3 НИР, 1 стажировка, 4 членства в программных комитетах, 2 учебных курса, 28 выступления в СМИ

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, старший научный сотрудник, с 2 февраля 2009

Соавторы: Кикоть С.П., Шапировский И.Б., Sattler U., Horrocks I., Hull D., Stevens R., Бабенко М.А., Белов А.Я. и др.

24 статьи, 14 докладов на конференциях, 3 тезисов докладов, 10 НИР, 1 диссертация, 11 учебных курсов

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 21 января 1991

Соавторы: Артемов С.Н., Плиско В.Е., Constable R., Бабенко М.А., Белов А.Я., Брюхов Е.Н., Верещагин Н.К., Вишникин М.Е. и др.

32 статьи, 4 книги, 10 докладов на конференциях, 2 тезисов докладов, 6 НИР, 1 членство в программном комитете, 2 диссертации, 7 дипломных работ, 1 курсовая работа, 15 учебных курсов

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, ассистент, с 23 мая 2012

Соавторы: Scedrov A., Канович М.И., Nigam V., Speranski S.O., Morrill G., Дудаков С.М., Оноприенко А.А., Рыжкова Н.С. и др.

61 статья, 3 книги, 40 докладов на конференциях, 2 тезисов докладов, 8 НИР, 2 награды, 1 членство в редколлегии журнала, 11 членств в программных комитетах, 1 членство в диссертационном совете, 2 диссертации, 8 дипломных работ, 7 учебных курсов

Соавторы: Кановей В.Г., Селиверстов А.В., Горбунов К.Ю., Зверков О.А., Русин Л.Ю., Рубанов Л.И., Шиловский Г.А., Алёшин В.В. и др.

241 статья, 8 книг, 22 доклада на конференциях, 18 тезисов докладов, 4 НИР, 7 свидетельств о регистрации прав на ПО, 2 членства в научных обществах, 3 членства в редколлегиях журналов, 3 членства в программных комитетах, 2 членства в диссертационных советах, 12 диссертаций, 2 дипломные работы, 7 курсовых работ, 6 учебных курсов

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 1 сентября 2014, по совместительству

Соавторы: Артемов С.Н., Troelstra A., Адян С.И., Вайнберг Ю.Р., Драгалин А.Г., Колмогоров А.Н., Кузичев А.С., Минц Г.Е. и др.

11 статей, 1 учебный курс

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, старший научный сотрудник, с 1 июля 2023

Соавторы: Белов А.Я., Беклемишев Л.Д., Кузнецов С.Л., Семенов А.Л., Golafshan M., Аллеманд А.О., Бабенко М.А., Верещагин Н.К. и др.

20 статей, 1 книга, 16 докладов на конференциях, 9 тезисов докладов, 4 НИР, 2 научного отчёта, 3 награды, 1 диссертация, 3 курсовые работы, 9 учебных курсов

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 15 ноября 1995

Соавторы: Пентус А.Е., Семенов А.Л., Беклемишев Л.Д., Новиков С.П., Гончаров С.С., Садовничий В.А., Атабекян В.С., Бухштабер В.М. и др.

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

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 20 января 1986

Соавторы: Успенский В.А., Витер Д.А., Коновалов А.Ю., Верещагин Н.К., Канторович Л.В., Крупский В.Н., Chankvetadze G., Pak B. и др.

74 статьи, 6 книг, 17 докладов на конференциях, 14 тезисов докладов, 7 НИР, 1 членство в редколлегии журнала, 3 диссертации, 7 дипломных работ, 1 курсовая работа, 22 учебных курса

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, заведующий кафедрой, с 1 сентября 2018

Соавторы: Рудченко Т.А., Сопрунов С.Ф., Успенский В.А., Мучник А.А., Панфёров В.С., Беклемишев Л.Д., Уваров А.Ю., Бухштабер В.М. и др.

241 статья, 299 книг, 121 доклад на конференциях, 17 тезисов докладов, 7 НИР, 6 наград, 2 членства в научных обществах, 1 почетное членство в организации, 35 членств в редколлегиях журналов, 1 членство в редколлегии сборника, 35 членств в программных комитетах, 6 членств в диссертационных советах, 10 диссертаций, 25 дипломных работ, 44 учебных курса, 49 выступления в СМИ

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, ассистент, с 1 июня 2015

Соавторы: Шаврина Т.О., Kuratov Y., Шаров С.А., Arkhipov M., Бурцев М.С., Грановский Д., Andrey K., Baymurzina D. и др.

34 статьи, 25 докладов на конференциях, 7 НИР, 6 членств в программных комитетах, 1 диссертация, 13 дипломных работ, 13 курсовых работ, 24 учебных курса

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 20 марта 1995, по совместительству

Соавторы: Шапировский И.Б., Скворцов Д.П., Gabbay D., Воронцова М.И., Кудинов А.В., Максимова Л.Л., Шкатов Д.П., Balbiani P. и др.

61 статья, 1 книга, 36 докладов на конференциях, 5 тезисов докладов, 7 НИР, 1 членство в редколлегии журнала, 1 членство в редколлегии сборника, 1 членство в программном комитете, 6 диссертаций, 26 дипломных работ, 8 учебных курсов

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 1 сентября 1997

Соавторы: Артемов С.Н., Бабенко М.А., Белов А.Я., Верещагин Н.К., Вишникин М.Е., Золин Е.Е., Крупский В.Н., Кузнецов С.Л. и др.

14 статей, 4 доклада на конференциях, 6 НИР, 8 дипломных работ, 1 курсовая работа, 29 учебных курсов