Абрамов Сергей Михайлович
Абрамов Сергей Михайлович
член-корреспондент РАН доктор физико-математических наук
Телефоны
Адрес электронной почты
Академические должности
Должность
Организационная структура
Дата активности
Должность
член отделения
Должность
член секции
Профиль
Научные интересы
1. Суперкомпьютерные, грид- и облачные технологии (аппаратура и программное обеспечение).
2. Компьютерные и сенсорные сети, IoT (аппаратура и программное обеспечение).
3. Теоретические основания информатики: метавычисления и их применение.
Научные публикации
- Абрамов С.М. Метавычисления и логическое программирование. Ж-л «Программирование», Москва, с. 31–44, № 3, 1991
- 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
- Абрамов С.М. Метавычисления и их применение. — M., Наука-Физматлит, 128 с., 1995
- 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
- 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.
- 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.
- 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.
- Абрамов С.М., Орлов А.Ю. Компиляция в императивные языки синтаксического отождествления языка Рефал. // Труды международной конференции «Программные системы: теория и приложения». г. Переславль-Залесский, май 2004. — М.: Физматлит, Т. I, с. 403–447.
- Абрамов С.М., Абламейко С.В., Анищенко В.В., Парамонов Н.Н., Чиж О.П. Суперкомпьютерные конфигурации СКИФ. // Минск: ОИПИ НАН Беларуси, 2005, цв. ил. — 170 с. — ISBN 985-6744-19-9.
- Абрамов С.М., А.С. Амелькин, А.М. Цирлин, А.А. Чичковский. Суперкомпьютер должен кипеть. // Материалы 4-й Всероссийской научно-технической конференции «Суперкомпьютерные технологии» (СКТ-2016). 19–24 сентября 2016 г., Дивноморское, Геленджик. — Ростов-на-Дону: Изд-во Южного федерального университета, Т. 1, с. 10–16. ISBN 978-5-9275-2039-8 (Том 1).
Премии и награды
- Знак Губернатора Ярославской области «За заслуги в науке» (2003)
- Премия Правительства Российской Федерации 2006 года в области науки и техники — за разработку конструкторской и программной документации, подготовку промышленного производства и выпуск образцов высокопроизводительных вычислительных систем (суперкомпьютеров) семейства «СКИФ» Ряда I и Ряда II
- Премия Российской академии наук и Национальной академии наук Беларуси за 2009 год — за работу «Теория, методы и практическое использование параллельных вычислений на суперкомпьютерных архитектурах семейства СКИФ»
- Премия имени С.А. Лебедева Российской академии наук 2015 года, за цикл работ «Разработка и реализация серии российских суперкомпьютеров с кластерной архитектурой»
- Дважды Лауреат премии «За заслуги перед отраслью» Национального Суперкомпьютерного Форума за 2015 год (лично и в составе Коллектива создателей форума НСКФ)
Персональные профили исследователя
Web of Science: AAW-1963-2021
Scopus: 7005979792
РИНЦ: 1927
ORCID: 0000-0001-6603-7971
MathSciNet: 54215
Место работы и должность
И.о. директора, Институт программных систем им. А.К. Айламазяна Российской академии наук
Награды
Премия Правительства РФ