Хорошилов Алексей Владимирович

В 1986-1991 годах учился в средней школе №630 г. Москвы, в 1991-1995 годах — в физико-математическом классе при МФТИ в средней школе №503 г. Москвы, а в 1995-1996 годах — в Физико-математической школе №18 при МГУ, впоследствии переименованной в Специализированный учебно-научный центр МГУ. В 2001 году с отличием окончил факультет Вычислительной Математики и Кибернетики МГУ, в 2001-2004 г. обучался в аспирантуре факультета Вычислительной Математики и Кибернетики МГУ, на кафедре Системного программирования.

Кандидат физико-математических наук (2006 г.), тема диссертации - «Спецификация и тестирование компонентов с асинхронным интерфейсом», руководитель А. К. Петренко. С 1999 года работает в Институте системного программирования РАН, на 2011 год — в должности старшего научного сотрудника.

С 2009 года работает на кафедре Системного программирования факультета Вычислительной математики и кибернетики МГУ.

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

Читает основной курс лекций «Формальная спецификация и верификация программ», ведет специальный семинар «Корректность програм».