alsemenov отправить сообщение

Семёнов Алексей Львович пользователь ответственный

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

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

доктор физико-математических наук с 1984 года

академик РАН с 22 декабря 2011 г.

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

Соавторы: Рудченко Т.А., Успенский В.А., Мучник А.А., Панфёров В.С., Ященко И.В., Сопрунов С.Ф., Muchnik А.А., Булин-Соколова Е.И., Высоцкий И.Р., Новиков С.П., Сергеев И.Н., Беклемишев Л.Д., Шестаков С.А. показать полностью..., Шноль Д.Э., Адян С.И., Бухштабер В.М., Захаров П.И., Семёнова М.А., Шень А., Андреев Н.Н., Атанасян С.Л., Окунь Л.Б., Пентус М.Р., Притыкин Ю.Л., Реста П., Уваров А.Ю., Boris B., Bulin-Sokolova E.I., Cherkasskii B.V., Kronrod M., Арлазаров В.Л., Архангельский А.В., Асмолов А.Г., Гарбер А.И., Горбунов-Посадов М.М., Диниц Е.А., Жижченко А.Б., Журавлев Ю.И., Ильяшенко Ю.С., Каракозов С.Д., Карзанов А.В., Карпенко С.Ф., Козлов В.В., Коновалов С.П., Константинов Н.Н., Лысёнок И.Г., Малыхин В.И., Мальцев А.А., Матиясевич Ю.В., Нестеренко Ю.В., Паршин А.Н., Пасынков Б.А., Певзнер П.А., Поливанова А.К., Полилова Т.А., Посицельский С.Е., Ранчин Д.В., Сабитов И.Х., Успенский В.В., Фараджев И.А., Хованский А.Г., Шостак А.В., Amirdzhanov G.P., Bannayan H.E., Conery L., Kabanikhin S.I., Kalas I., Laurillard D., Laval E., Lysënok I.G., Morduhovich A.M., Musgrave S.C., Nikolai Petrovich Shchepin E.V., Razborov A.A., Rebrov E.A., Reshetnyak Y.G., Sergeev A.G., Sheinman O.K., Shtogrin M.I., Sonn Y., Tursanyi-Szabo M., Аграчев А.А., Амирджанов Г.П., Архангельский В.А., Башев В.В., Белеградек О.В., Беляев В.Н., Бешенков С.А., Бокуть Л.А., Валиев М.К., Варданян В.А., Вишняков Ю.С., Вовк В.Г., Водопьянов С.К., Воронин В.Е., Гамкрелидзе Р.В., Гитик М., Голод Е.С., Гончаров С.С., Грюнталь А.И., Гулин Д.А., Гулько С.П., Гунько С.Н., Гуревич Ю.Ш., Дадеркин Д.О., Демченко В.В., Дехтярь М.И., Диковский А.Я., Драгалин А.Г., Ершов А.П., Ершов Ю.М., Запарованный Ю., Захаров П.Н., Зельманов Е.И., Зильбер Б.И., И Д., Иванов С.А., Казанцев Д., Кириллов А.А., Клименко А.В., Книерзингер А., Козарезова О.О., Колмогоров А.Н., Комбаров А.П., Кондаков А.М., Коровин В.И., Кругляков В.М., Крушкаль С.Л., Кузичев А.С., Кузнецов О.П., Кузьмин А.Ю., Куприянов Р.Б., Курнешова Л.Е., Кутателадзе С.С., Кушниренко А.Г., Кушниренко А.Г., Ландо С.К., Ланская Е., Лачаева М.Ю., Лебедев Г.В., Лобанов А.И., Лубков А.В., Минц Г.Е., Михалёв А.В., Можайский А.Ю., Муранов А.А., Мусикаев И.Х., Несмелова М.Л., Нидерман И.А., Никитин И.С., Ногина Е.Ю., Носкин Л.А., Овчинников А.В., Осипов Ю.С., Пачиков С., Плунгян В.А., Поликарпов С.А., Посицельская М.А., Поспелов И.Г., Пржиленская И.Б., Рамбл Е., Рахилина Е.В., Розов Н.Х., Рудаков К.В., Рябенький В.С., Садовничий В.А., Сергеев А.Г., Синелобов А.П., Славина В.А., Слисенко А.О., Смирнов В.А., Соколов А.С., Столбоушкин А.П., Студитский В.М., Тайманов И.А., Татевосов С.Г., Татур А.О., Тихомиров В.М., Тишкин В.Ф., Трахтенброт Б.А., Трубина Л.А., Тыртышников Е.Е., Уваров А.Ю., Угринович Н.Д., Ушаков М.А., Фиалкова Т.А., Фидченко О.В., Флеров Ю.А., Цукерман Г.А., Четверушкин Б.Н., Чирский В.Г., Шалоткина Н.А., Шамолин В.А., Шананин А.А., Шевелев Ю.Д., Шейнман О.К., Штогрин М.И., Щепин Е.В., Юрий В.В., Юркина Н.Н., Якобовский М.В.

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

Количество цитирований статей в журналах по данным Web of Science: 205, Scopus: 119
РИНЦ:

IstinaResearcherID (IRID): 8592726

Scopus Author ID: 7402499019

ORCID: 0000-0002-1785-2387

Деятельность Экспорт в BibTeX стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam