Академия

Абрамов Сергей Михайлович

Абрамов Сергей Михайлович
член-корреспондент РАН доктор физико-математических наук

Телефоны

Адрес электронной почты

Академические должности

Должность

Организационная структура

Дата активности

Должность

член отделения

Должность

член секции

Профиль

Научные интересы

1. Суперкомпьютерные, грид- и облачные технологии (аппаратура и программное обеспечение).
2. Компьютерные и сенсорные сети, IoT (аппаратура и программное обеспечение).
3. Теоретические основания информатики: метавычисления и их применение.

Научные публикации

  1. Абрамов С.М. Метавычисления и логическое программирование. Ж-л «Программирование», Москва, с. 31–44, № 3, 1991
  2. S.Abramov. Metacomputation and program testing. In: Proceedings of 1st International Workshop on Automated and Algorithmic Debugging (AADEBUG'93), pp.121–135, Linkoping Univ., Sweden, 3–5 May, 1993
  3. Абрамов С.М. Метавычисления и их применение. — M., Наука-Физматлит, 128 с., 1995
  4. Sergey Abramov, Robert Glück. Semantics modifiers: an approach to non-standard semantics of programming languages. // Third Fuji International Symposium on Functional and Logic Programming, Sato, Masahiko and Toyama, Yoshihito, Kyoto, Japan, World Scientific Publisher, pp. 247–270, 1998
  5. Sergey Abramov, Robert Glück. The universal resolving algorithm: inverse computation in a functional language. // Foundations of Software Technology and Theoretical Computer Science. Proceedings (S. Kapoor and S. Prasad, eds.), Lecture Notes in Computer Science, Vol. 1974, pp. 201–213, Springer-Verlag, 2000.
  6. Sergey Abramov, Robert Glück. From Standard to Non-Standard Semantics by Semantics Modifiers. // International Journal of Foundations of Computer Science, Vol. 12. No. 2 (2001) pp. 171–211 World Scientific Publishing Company, 2001.
  7. Sergey Abramov, Robert Glück. The Universal Resolving Algorithm and its Correctness: Inverse Computation in a Functional Language. Elsevier, Science of Computer Programming 43 (2002), pp. 193–229, 2002.
  8. Абрамов С.М., Орлов А.Ю. Компиляция в императивные языки синтаксического отождествления языка Рефал. // Труды международной конференции «Программные системы: теория и приложения». г. Переславль-Залесский, май 2004. — М.: Физматлит, Т. I, с. 403–447.
  9. Абрамов С.М., Абламейко С.В., Анищенко В.В., Парамонов Н.Н., Чиж О.П. Суперкомпьютерные конфигурации СКИФ. // Минск: ОИПИ НАН Беларуси, 2005, цв. ил. — 170 с. — ISBN 985-6744-19-9.
  10. Абрамов С.М., А.С. Амелькин, А.М. Цирлин, А.А. Чичковский. Суперкомпьютер должен кипеть. // Материалы 4-й Всероссийской научно-технической конференции «Суперкомпьютерные технологии» (СКТ-2016). 19–24 сентября 2016 г., Дивноморское, Геленджик. — Ростов-на-Дону: Изд-во Южного федерального университета, Т. 1, с. 10–16. ISBN 978-5-9275-2039-8 (Том 1).

Премии и награды

  1. Знак Губернатора Ярославской области «За заслуги в науке» (2003)
  2. Премия Правительства Российской Федерации 2006 года в области науки и техники — за разработку конструкторской и программной документации, подготовку промышленного производства и выпуск образцов высокопроизводительных вычислительных систем (суперкомпьютеров) семейства «СКИФ» Ряда I и Ряда II
  3. Премия Российской академии наук и Национальной академии наук Беларуси за 2009 год — за работу «Теория, методы и практическое использование параллельных вычислений на суперкомпьютерных архитектурах семейства СКИФ»
  4. Премия имени С.А. Лебедева Российской академии наук 2015 года, за цикл работ «Разработка и реализация серии российских суперкомпьютеров с кластерной архитектурой»
  5. Дважды Лауреат премии «За заслуги перед отраслью» Национального Суперкомпьютерного Форума за 2015 год (лично и в составе Коллектива создателей форума НСКФ)




Персональные профили исследователя

Web of Science: AAW-1963-2021
Scopus: 7005979792
РИНЦ: 1927
ORCID: 0000-0001-6603-7971
MathSciNet: 54215

Место работы и должность

И.о. директора, Институт программных систем им. А.К. Айламазяна Российской академии наук

Награды

Премия Правительства РФ