Архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени.
Научная биография:
Окончил среднюю школу № 70 г. Москвы (1968). В 1968–1970 гг. находился на действительной военной службе. После демобилизации был принят на работу в Главный Вычислительный Центр Госплана СССР, где трудился в 1970–1972 гг. в должностях от техника до старшего инженера. В 1972 г. поступил на факультет вычислительной математики и кибернетики МГУ, который окончил с отличием по кафедре автоматизации систем вычислительных комплексов (1977). В 1977–1980 гг. обучался в аспирантуре факультета ВМиК. Кандидат физико-математических наук (1980), тема диссертации: "Многоаспектная фильтрация программ" (научный руководитель Л. Н. Королев). Доктор физико-математических наук (1990), тема диссертации: "Анализ производительности многопроцессорных систем на основе инварианта поведения программ". Ученое звание — профессор (1992). Заслуженный деятель науки Российской Федерации (2002). Действительный член РАЕН (2001), член международных профессиональных ассоциаций Computer Society, ACM (с 1994).
Работает в МГУ с 1980 г. в должностях ассистента (1980–1987), доцента (1987–1991), профессора (с 1991) кафедры АСВК факультета вычислительной математики и кибернетики.
Подготовил 12 кандидатов наук. Автор более 140 научных работ.
Основные публикации:
Модель функционирования распределенных вычислительных систем // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 3, c. 3–21.
Об инварианте поведения программ // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 4, c. 54–60.
DYANA: An Evironment for Embedded System Design and Analysis // Proc. of 5-th International Conference TACAS'99, Amsterdam, Netherlands, March 22–28, 1999, Springer (LNCS v. 1579), pp. 390–404 (соавт. Bakhmurov A., Kapitonova A.).
Метод и средства оценки времени выполнения оптимизированных программ // Программирование, 1999, № 5, c. 52–61 (соавт. Балашов В. В. и др.).
А. В. Борисов, Ю. Н. Куринов, Р. Л. Смелянский, “Вероятностный анализ класса марковских скачкообразных процессов”, Информ. и её примен., 18:3 (2024), 30–37
2022
2.
Е. П. Степанов, Р. Л. Смелянский, “Сравнительный анализ многопоточных транспортных протоколов”, Системы и средства информ., 32:2 (2022), 155–170
2019
3.
Р. Л. Смелянский, “Иерархические периферийные вычисления”, Модел. и анализ информ. систем, 26:1 (2019), 146–169
С. О. Беззубцев, В. В. Васин, Д. Ю. Волканов, Ш. Р. Жайлауова, В. А. Мирошник, Ю. А. Скобцова, Р. Л. Смелянский, “Об одном подходе к построению сетевого процессорного устройства”, Модел. и анализ информ. систем, 26:1 (2019), 39–62
5.
В. А. Антоненко, Р. Л. Смелянский, А. В. Плакунов, П. А. Михеев, “Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции”, Модел. и анализ информ. систем, 26:1 (2019), 7–22
2013
6.
В. Ю. Королев, Р. Л. Смелянский, Т. Р. Смелянский, А. В. Шалимов, “Статистическая проверка неисполняемости фрагментов кода последовательной программы”, Информ. и её примен., 7:2 (2013), 50–54
7.
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий, “Формальная модель и задачи верификации программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 20:6 (2013), 36–51
И. А. Соколов, С. Л. Чернышев, В. Г. Абрамов, Н. В. Баева, А. В. Богомолов, Т. И. Булдакова, А. А. Вылиток, С. В. Гаврилов, А. А. Галяев, В. В. Грибова, Н. В. Груздева, А. А. Грушо, В. А. Горелик, Е. Г. Жиляков, А. Ф. Каперко, А. И. Кибзун, В. Н. Козлов, Л. С. Корухова, Ю. С. Корухова, Е. А. Кузьменкова, С. В. Кулешов, Е. В. Ларкин, Т. М. Леденёва, Г. М. Мартинов, И. В. Машечкин, В. В. Меньших, Р. А. Мунасыпов, А. А. Назаров, Д. В. Пащенко, А. К. Петренко, Ю. Э. Плешивцева, И. Н. Полякова, А. Л. Ронжин, Е. Я. Рубинович, В. И. Ряжских, И. В. Саенко, К. Е. Самуйлов, П. В. Сараев, Г. А. Свиридюк, Д. Н. Сидоров, О. А. Славин, Р. Л. Смелянский, В. Б. Сулимов, Д. Ю. Сычугов, Г. А. Угольницкий, М. В. Ульянов, А. В. Хоперсков, В. П. Хранилов, В. Н. Четвериков, Т. Б. Чистякова, Ю. А. Шичкина, “Сергей Юрьевич Соловьёв (03.02.1955 – 22.09.2023). Памяти выдающегося алгоритмиста”, Вестн. ЮУрГУ. Сер. Матем. моделирование и программирование, 16:4 (2023), 106–107
Обратная связь: