Хорошилов Алексей Владимирович Россия, Москва Степень кандидат физико-математических наук Область научных интересов верификация программ операционные системы Место работы и должность Институт системного программирования РАН им. В.П.Иванникова — ведущий научный сотрудник Московский государственный университет им. М.В. Ломоносова — доцент Адрес электронной почты khoroshilov@ispras.ru
Кулямин В.В., Петренко А.К., Хорошилов А.В. Верификация компонентов операционных систем // Системная информатика. — 2017. — № 10. — С. 11-22
