Валерий Игнатьев — финалист конкурса «Лидеры России»

Старший преподаватель кафедры СП и старший научный сотрудник ИСП РАН Валерий Игнатьев стал финалистом конкурса «Лидеры России». Подробности читайте на сайте ИСП РАН.

Валерий Игнатьев стал одним из 70 финалистов трека «Наука» конкурса «Лидеры России». Оценочные мероприятия проходили 16-17 марта в Москве в Национальном исследовательском технологическом университете «МИСиС». Всего в полуфинале трека «Наука» приняли участие 214 конкурсантов из 52 регионов России. Итоги подвели помощник президента РФ Андрей Фурсенко, глава Минобрнауки Валерий Фальков, руководитель конкурса «Лидеры России» Алексей Комиссаров и др.

Валерий Игнатьев специализируется на статическом анализе программ; в частности, в область его научных интересов входит поиск ошибок при помощи методов машинного обучения. В 2015 году В.Игнатьев защитил кандидатскую диссертацию по теме «Статический анализ программ для проверки настраиваемых ограничений языков программирования С и С++». В настоящее время возглавляет команду, отвечающую за анализ программ на языке C# в рамках статического анализатора Svace. На факультете ВМК В.Игнатьев читает лекционный курс «Формальные языки и автоматы», ведет работу со студентами.

«Лидеры России» – открытый конкурс для руководителей нового поколения и один из проектов президентской платформы «Россия – страна возможностей». В рамках конкурса предусмотрены четыре трека: «Наука», «Здравоохранение», «Финансы и технологии», «Политика». В этом году мероприятие проводится уже в третий раз.