Смелянский Руслан Леонидович

Смелянский Руслан Леонидович родился 12.11.1950 в городе Москве. Профессор кафедры автоматизации систем вычислительных комплексов, заведующий лабораториями вычислительных комплексов и информационные системы в образовании и научных исследованиях.

Окончил среднюю школу № 70 города Москвы (1968). В 1968–1970 годах находился на действительной военной службе. После демобилизации был принят на работу в Главный Вычислительный центр Госплана СССР, где трудился в 1970–1972 годах в должностях от техника до старшего инженера.

В 1972 году поступил на факультет вычислительной математики и кибернетики МГУ, который окончил с отличием по кафедре автоматизации систем вычислительных комплексов (1977). В 1977–1980 годах обучался в аспирантуре факультета ВМК.

Кандидат физико-математических наук (1980), тема диссертации: «Многоаспектная фильтрация программ» (научный руководитель Л. Н. Королев). Доктор физико-математических наук (1990), тема диссертации: «Анализ производительности многопроцессорных систем на основе инварианта поведения программ». Учёное звание — профессор (1992).

Член-корреспондент РАН (2011). Заслуженный деятель науки Российской Федерации (2002). Действительный член РАЕН (2001), член международных профессиональных ассоциаций Computer Society, ACM (с 1994).

С 2000 года Р. Л. Смелянский активно участвует в проекте по созданию Интегрированной автоматизированной информационной системы сферы образования Российской Федерации, являлся заместителем генерального конструктора системы (2000–2001). Заместитель главного конструктора НИИ Аргон, директор НОЦ «Защита информации в Интернет» факультета ВМК. Член редколлегий журналов «Программирование», «Моделирование и анализ информационных систем», член двух специализированных учёных Советов.

Работает в МГУ с 1980 года в должностях ассистента (1980–1987), доцента (1987–1991), профессора (с 1991) кафедры АСВК факультета вычислительной математики и кибернетики. С 1984 года Р. Л. Смелянский исполняет обязанности заведующего научно-исследовательской лабораторией вычислительных комплексов факультета ВМК. С 1992 года возглавляет лабораторию «Системы SUN в образовании и научных исследованиях» (с 2004 года — лабораторию информационных систем в образовании и научных исследованиях). Исполнял обязанности заместителя декана факультета по вычислительной технике (1982–1988).

Области научных интересов: архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени.

Р. Л. Смелянский разработал подход к анализу функционирования вычислительных систем на основе инварианта поведения программ. Создал формальную модель функционирования многопроцессорных вычислительных систем с распределенным управлением, на основе которой был сформулирован и решен ряд интересных задач: оценка производительности вычислительных систем, анализ поведения программ, оценка времени выполнения программ на вычислительных системах с заданной архитектурой, синтез архитектур вычислительных систем. Отличительной особенностью данной модели является возможность ее использования как для исследования количественных, так и логических свойств анализируемых / проектируемых объектов.

В Московском университете Р. Л. Смелянский читал основные и специальные лекционные курсы: «Введение в теоретическое программирование», «Микропроцессоры, микромашины и мини-ЭВМ», «Параллельные вычислительные системы: архитектура и их программное обеспечение», «Методы оценки производительности вычислительных систем», «Анализ поведения программ». В настоящее время читает основной курс «Компьютерные сети».

Подготовил 21 кандидата наук.

Автор более 180 научных работ, в том числе:

• Модель функционирования распределенных вычислительных систем // Вестн. Моск. ун-та, сер. 15: Вычислит, матем. и киберн., 1990, № 3, с. 3-21;
• Об инварианте поведения программ // Вестн. Моск. ун-та, сер. 15: Вычислит, матем. и киберн., 1990, № 4, с. 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 (соавт. A. Bakhmurov, A. Kapitonova);
• Метод и средства оценки времени выполнения оптимизированных программ // Программирование, 1999, № 5, с. 52- 61 (соавт. Балашов В.В. и др.);
• Система поддержки принятия решений: цели, архитектура, применение // Сб. докл. международной конференции «Реформы управления в высшем образовании: тенденции, проблемы и опыт» — Ростов-на-Дону, 2004, с. 68-75;
• Реализации контроля качества учебного процесса в вузе на основе ИСУ «Университет» // Сб. докл. 2-й международной научно-методической конференции «Новые образовательные технологии в вузе — 2004» — Екатеринбург, 2004;
• A Tool System for Automatic Scheduling of Data Exchange in Real-Time Distributed Embedded Systems // Proc. of the 7-th IEEE International Symposium on Computer Networks (ISCN’06), 2006, pp. 179-184 (co-auth. V. Balashov, V. Kostenko et al);
• Масштабирование дискретно-событийных имитационных моделей // Программирование, 2006, №6, с. 308-317 (соавт. Савенков К.О.);
• Модель поведения сетевых объектов в распределённых вычислительных системах // Программирование, 2007, № 4, с. 20-31 (соавт. Гамаюнов Д.Ю.);
• A Tool System for Automatic Scheduling of Data Exchange in Real-Time Distributed Avionics Systems // In Proc. of the 2nd EUCASS European Conference for Aerospace Sciences — Brussels, Belgium, 2007 (co-auth. V. Balashov, V. Kos­tenko);
• Стенд полунатурного моделирования для разработки встроенных систем реального времени и оценки их архитектур // Тр. Международной научной конференции «Космос, астрономия и программирование (Лавровские чтения)» — СПб., ЦНИИ «Электроприбор», 20-22 мая 2008, с. 267-275 (соавт. Балашов В.В. и др.);
• A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation // In Proc. of the Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX 2008 — Szklarska Poreba, Poland, June 26-28 2008, pp. 80-86 (co-auth. V. Balashov et al).