ИСТИНА

Соавторы: Атабекян В.С., Mennicke J.G., Дьяченко М.И., Бесов О.В., Гончар А.А., Кашин Б.С., Никольский С.М., Потапов М.К. и др.

35 статей, 1 НИР, 2 членства в редколлегиях сборников, 2 членства в диссертационных советах, 2 диссертации, 2 дипломные работы, 1 учебный курс

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

Соавторы: Кузнец Р.М., Ногина Е.Ю., Nerode A., Джапаридзе Г.К., Беклемишев Л.Д., Крупский В.Н., Минц Г.Е., Яворская Т.Л. и др.

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

Соавторы: Семёнов А.Л., Новиков С.П., Успенский В.А., Пентус М.Р., Оноприенко А.А., Бухштабер В.М., Лысёнок И.Г., Joosten J.J. и др.

45 статей, 4 доклада на конференциях, 2 тезисов докладов, 2 НИР, 1 членство в научном обществе, 2 членства в редколлегиях журналов, 3 членства в редколлегиях сборников, 5 членств в программных комитетах, 3 членства в диссертационных советах, 5 диссертаций, 8 дипломных работ, 8 учебных курсов, 3 выступление в СМИ

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

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

94 статьи, 8 книг, 22 доклада на конференциях, 4 НИР, 2 членства в научных обществах, 2 членства в редколлегиях сборников, 11 членств в программных комитетах, 2 членства в диссертационных советах, 11 диссертаций, 65 дипломных работ, 16 учебных курсов

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

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

22 статьи, 9 докладов на конференциях, 2 тезисов докладов, 8 НИР, 1 диссертация, 7 учебных курсов

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

Соавторы: Артемов С.Н., Плиско В.Е., Constable R., Копылов А.П., Брюхов Е.Н., Ногин А.Ю.

25 статей, 4 книги, 8 докладов на конференциях, 1 тезисы доклада, 4 НИР, 2 диссертации, 4 дипломные работы, 1 курсовая работа, 9 учебных курсов

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

Соавторы: Scedrov A., Канович М.И., Vivek N., Канунников А.Л., Стрелкова Н.П., Осипов И.И., Оноприенко А.А.

26 статей, 3 книги, 11 докладов на конференциях, 4 НИР, 3 членства в программных комитетах, 1 диссертация, 3 дипломные работы, 5 учебных курсов

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

177 статей, 6 книг, 18 докладов на конференциях, 18 тезисов докладов, 2 НИР, 2 членства в диссертационных советах, 11 диссертаций, 2 учебных курса

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

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

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

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

Соавторы: Пентус А.Е., Семёнов А.Л., Успенский В.А., Новиков С.П., Беклемишев Л.Д., Лысёнок И.Г.

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

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

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

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

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

Соавторы: Рудченко Т.А., Успенский В.А., Мучник А.А., Ященко И.В., Панфёров В.С., Сопрунов С.Ф., Сергеев И.Н., Булин-Соколова Е.И. и др.

114 статей, 126 книг, 13 докладов на конференциях, 1 тезисы доклада, 1 НИР, 6 наград, 2 членства в научных обществах, 1 почетное членство в организации, 15 членств в редколлегиях журналов, 8 членств в программных комитетах, 1 членство в диссертационном совете, 8 диссертаций, 25 дипломных работ, 4 учебных курса

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

Соавторы: Шаврина Т.О., Шаров С.А., Грановский Д., Baymurzina D., Pugachev L., Bushkov N., Arkhipov M., Ляшевская О.Н. и др.

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

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

Соавторы: Семёнов А.Л., Кановей В.Г., Колмогоров А.Н., Плиско В.Е., Шень А.Х., Верещагин Н.К., Адян С.И., Кузичев А.С. и др.

81 статья, 27 книг, 1 доклад на конференции, 5 НИР, 1 членство в редколлегии журнала, 2 членства в редколлегиях сборников, 1 членство в диссертационном совете, 6 диссертаций, 15 дипломных работ, 2 учебных курса, 2 выступление в СМИ

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

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

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

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

Соавторы: Артемов С.Н., Рубцова Н.М.

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