София Максимовна ПАНОВА
Институт системного программирования им. В.П. Иванникова РАН, Российский экономический университет им. Г.В. Плеханова
Россия

Является лаборантом-исследователем отдела Технологий Программирования Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН). Область научных интересов: цифровая аппаратура, статический анализ, функциональная верификация.

Сергей Александрович СМОЛОВ
Институт системного программирования им. В.П. Иванникова РАН, Российский экономический университет им. Г.В. Плеханова
Россия

Является научным сотрудником отдела Технологий Программирования Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН), старший научный сотрудник научной лаборатории «Гетерогенные компьютерные системы» РЭУ им. Г.В. Плеханова. Область научных интересов: автоматизация проектирования цифровой аппаратуры, верификация и тестирование.

Марина М. ВОЛКОВА
Институт системного программирования им. В.П. Иванникова РАН, Российский экономический университет им. Г.В. Плеханова
Россия

Является лаборантом отдела Технологий Программирования Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН). Область научных интересов: машинное обучение, интеллектуальный анализ данных, методы статического анализа и верификации.