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

Кандидат физико-математических наук, старший научный сотрудник отдела технологий программирования ИСП РАН, старший научный сотрудник РЭУ им. Г.В. Плеханова. Сфера научных интересов: логический синтез, разработка цифровой аппаратуры, высокоуровневый синтез, верификация RTL-моделей аппаратуры.

Александр Сергеевич КАМКИН
Российский Экономический Университет им. Г.В. Плеханова, Институт системного программирования РАН, Московский государственный университет имени М.В. Ломоносова, Московский физико-технический институт
Россия

Кандидат физико-математических наук, ведущий научный сотрудник отдела технологий программирования ИСП РАН, ведущий научный сотрудник РЭУ им. Г.В. Плеханова. Научные интересы: формальные методы, синтез и верификация цифровой аппаратуры, гетерогенные компьютерные системы.

Даниил Ренатович ГАРЯЕВ
Российский Экономический Университет им. Г.В. Плеханова, Институт системного программирования РАН
Россия

Является студентом РЭУ им. Г.В. Плеханова по специальности «Прикладная математика и информатика в экономике» , а также лаборантом в Институте системного программирования им. В.П. Иванникова. Его научные интересы включают технологическое отображение и генетические алгоритмы.

Егор Сергеевич БЕЛИН
Российский Экономический Университет им. Г.В. Плеханова, Московский институт электроники и математики (МИЭМ ВШЭ)
Россия

Является студентом направления «Информационная безопасность» в МИЭМ ВШЭ, а также лаборантом в Институте системного программирования им. В.П. Иванникова. Его научная деятельность связана с разработкой алгоритмов и средств технологического отображения.

Григорий Алексеевич МАЗОВ
Московский институт электроники и математики (МИЭМ ВШЭ)
Россия

Является студентом направления «Компьютерная безопасность» в МИЭМ ВШЭ. Его научная деятельность связана с разработкой алгоритмов и средств технологического отображения.

Владислав Сергеевич ШТРЕНЕВ
Институт системного программирования РАН, Московский институт электроники и математики (МИЭМ ВШЭ)
Россия

Является студентом направления «Компьютерная безопасность» в МИЭМ ВШЭ, а также лаборантом в Институте системного программирования им. В.П. Иванникова. Его научная деятельность связана с разработкой алгоритмов и средств технологического отображения.