Кафедра алгоритмических языков ВМК МГУ

Cоветский и российский математик, специалист в области компьютерной алгебры, главный научный сотрудник Вычислительного центра РАН, профессор кафедры алгоритмических языков факультета ВМК МГУ. Sergei A. Abramov's homepage - Computer algebra

Сергей Александрович Абрамов родился в Москве 11 апреля 1946 г. В 1964 г. окончил школу № 52 с углублённым изучением математики и программирования. Окончил механико-математический факультет Московского университета (с отличием, 1969) по кафедре высшей геометрии и топологии и аспирантуру Вычислительного центра АН СССР (1972 г.) В том же году защитил кандидатскую диссертацию «Алгоритмы алгебраических преобразований функциональных выражений» (научный руководитель С.С. Лавров). Докторскую диссертацию «Арифметические и алгебраические задачи теоретического программирования» защитил в 1983. Ученое звание доцента присвоено в 1980 г., профессора – в 1992 г.

Научные интересы С.А. Абрамова относятся к областям компьютерной алгебры, методов анализа программ и обучения программированию. Основные результаты относятся к компьютерной алгебре (символьным вычислениям), линейным обыкновенным дифференциальным и (q-)разностным уравнениям. С.А. Абрамов является всемирно признанным автором классических алгоритмов, реализованных во всех системах компьютерной алгебры: алгоритм поиска рациональных решений линейных разностных уравнений с полиномиальными коэффициентами; алгоритм «аккуратного интегрирования» решений уравнений (совместно с М. ван Хое); алгоритм периферийной факторизации полиномов Оре (совместно с С.П. Царевым); алгоритм вычисления наибольшего общего делителя полиномов, зависящих от параметра; дано корректное алгоритмическое решение проблемы орбит для алгебраических чисел (совместно с М. Бронштейном); разработан алгоритм поиска решений дифференциальных и разностных систем по отношению к части неизвестных (совместно с М. Бронштейном); алгоритм вычисления ранга матриц над некоммутативными областями (совместно с М. Петковшеком и А.А. Рябенко); разработана теория строго невырожденных полиномиальных матриц (совместно с М. Баркату). Результаты исследований С.А. Абрамова в области методов анализа программ (верификации) оформлены в виде докторской диссертации; Сергей Александрович является автором монографии «Элементы анализа программ. Частичные функции на множестве состояний» (Москва, «Наука»).

Большой вклад Сергей Александрович вложил в популяризацию школьной информатики, он является автором 7 книг для начинающих, в том числе: «Начала информатики» (в соавт. с Е.В. Зимой, Москва, «Наука»); «Начала программирования на языке Паскаль» (в соавт. с Е.В. Зимой, Москва, «Наука»); «Задачи по программированию» (в соавт. с Г.Г. Гнездиловой, Е.Н. Капустиной, М.И. Селюном, Москва, "Наука"; книга переведена на монгольский язык), «Алгоритмический язык Алгол-60» (в соавт. с И.Н. Антиповым, Москва, «Просвещение»). Сергей Александрович Абрамов предложил особую схему организации электронных учебных материалов (расширяемое эссе), в рамках гранта Стипендиальной программы В. Потанина руководил работами по созданию компьютерных средств поддержки расширяемых эссе https://3e.cs.msu.ru; С.А. Абрамов создал расширяемое эссе «Сложность алгоритмов» http://www.ccas.ru/sabramov/essay в поддержку лекционного курса.

Сергей Александрович Абрамов разработал и более 20 лет читает основной курс «Сложность алгоритмов» на факультете ВМиК МГУ. Он является автором учебного пособия для студентов ВУЗов «Лекции о сложности алгоритмов» (серия «Современные лекционные курсы»), выдержавшего 4 переиздания.

С.А. Абрамов является членом редколлегии журнала «Программирование», ответственный редактор тематических выпусков по компьютерной алгебре; является членом международной Ассоциации вычислительной техники (ACM). С.А. Абрамов – организатор международного ежемесячного Московского семинара "Компьютерная алгебра", который проводится регулярно на ВМиК с 1994 года; организатор международной Московской конференции "Компьютерная Алгебра" (2016, 2017, 2019, 2021, 2023, 2025). В 2025, 2020 и 2015 гг. С.А. Абрамов инициировал проведение конференций в честь Н.П. Трифонова. В течение ряда лет был приглашенным профессором в University of Limoges, Франция, University of Waterloo, Канада.

11 апреля 2026 года исполнилось 80 лет со дня рождения профессора кафедры алгоритмических языков, доктора физико-математических наук АБРАМОВА СЕРГЕЯ АЛЕКСАНДРОВИЧА. Поздравляем Сергея Александровича с 80-летним юбилеем! Желаем крепкого здоровья, оптимизма, благополучия и новых интересных научных результатов.