Кафедра автоматизации систем вычислительных комплексов, д.ф.-м.н., профессор, чл.-корр. РАН
Окончил ВМК МГУ (1977 г). Профессор кафедры автоматизации систем вычислительных комплексов, заведующий лабораториями вычислительных комплексов и информационные системы в образовании и научных исследованиях.
Кандидат физико-математических наук (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).
Области научных интересов: архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени.
Р. Л. Смелянский разработал подход к анализу функционирования вычислительных систем на основе инварианта поведения программ. Создал формальную модель функционирования многопроцессорных вычислительных систем с распределенным управлением, на основе которой был сформулирован и решен ряд интересных задач: оценка производительности вычислительных систем, анализ поведения программ, оценка времени выполнения программ на вычислительных системах с заданной архитектурой, синтез архитектур вычислительных систем. Отличительной особенностью данной модели является возможность ее использования как для исследования количественных, так и логических свойств анализируемых / проектируемых объектов.
В Московском университете Р. Л. Смелянский читал основные и специальные лекционные курсы: «Введение в теоретическое программирование», «Микропроцессоры, микромашины и мини-ЭВМ», «Параллельные вычислительные системы: архитектура и их программное обеспечение», «Методы оценки производительности вычислительных систем», «Анализ поведения программ». В настоящее время читает основной курс «Компьютерные сети».