ЭС: Р.Л.Смелянский
Окончил факультет вычислительной математики и кибернетики МГУ (1977). Ученик Л.Н. Королёва.
Кандидат физико-математических наук (1980, «Многоаспектная фильтрация программ»). Доктор физико-математических наук (1990, «Анализ производительности многопроцессорных систем на основе инварианта поведения программ»). Профессор (1994).
Член-корреспондент отделения математических наук (прикладная математика и информатика) РАН (2011).
Профессор (1991), заведующий кафедрой автоматизации систем вычислительных комплексов (2018‒н.вр.), заместитель декана по вычислительной технике (1982–1988) факультета вычислительной математики и кибернетики.
Научная и педагогическая деятельность. В сфере научных интересов математические методы анализа динамики функционирования распределённых вычислительных системы и сетей.
Разработал математические методы и алгоритмические средства построения математических моделей описания динамики функционирования встроенных систем реального времени. Полученные результаты были применены к созданию стендов комплексирования информационно-вычислительных систем бортовых комплексов современных летательных аппаратов в ОКБ Сухого (Т-50, Су-35МКИ, МС-21).
Провёл комплекс исследований компьютерных сетей нового поколения – программно-конфигурируемых сетей/ПКС. Разработал первую отечественную высокопроизводительную сетевую операционную систему управления ПКС, набор приложений, реализующих основные протоколы и сервисы в ПКС регионального масштаба, программно-управляемые ПКС коммутаторы. Построил математическую модель функционирования ПКС, создал методы и средства верификации политик маршрутизации в ПКС. Провёл цикл исследований по организации облачных вычислений с использованием виртуализации сервисов в ПКС, описанию и планированию размещения виртуализированных сервисов в ПКС неоднородных центров обработки данных.
Заслуженный профессор Московского университета (2010). Заслуженный деятель науки РФ (2002).
Основные труды: учебные пособия «Элементы теоретического программирования» (соавт., 1985), «Компьютерные сети. В 2-х т.» (2011).