([200] ИМЯ ЛИЦА)

Д-р физ.-мат. наук, математик, профессор кафедры автоматизации систем вычислительных комплексов, зав. лабораториями вычислительных комплексов и информационные системы в образовании и научных исследованиях МГУ им. М.В.Ломоносова. Действ. член РАЕН (2001), член-корр. РАН (2011). Заслуженный деятель науки Российской Федерации (2002). Заслуженный профессор МГУ (2010). Область научных интересов: архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени..