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

Описание персоны

участие в 1 конкурсе, участие в 2 проектах, из них 1 в роли руководителя

Организация

ИСП РАН

Смотреть похожие персоны Смотреть похожие организации

Участие в 1 конкурсе

конкурсный отбор трехлетних прикладных научных исследований, направленных на создание продукции и технологий, по приоритетному направлению «Информационно-телекоммуникационные системы» в рамках мероприятия 1.2 Программы.

Продолжительность работ

2014 - 2016, 26 мес.

Количество заявок

223

конкурс выигран

Участие в 2 проектах

Адаптивный статический анализ программного обеспечения

Продолжительность работ

2011 - 2013, 21 мес.

Бюджетные средства проекта

9,5 млн

Роль в проекте

Зам. руководителя работ

проект профинансирован

Разработка методов и инструментов для дедуктивной верификации модулей ядра операционной системы Linux.

Продолжительность работ

2014 - 2016, 30 мес.

Бюджетные средства проекта

25 млн

Роль в проекте

Руководитель работ

проект профинансирован

Связь с 1 организацией

Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук

Должность

Ведущий научный сотрудник