Илья Захаров

Avatar1

Илья Захаров, младший научный сотрудник ИСП РАН.
В 2014 г. окончил факультет управления и прикладной математики Московского физико-технического института, в 2018-м – аспирантуру ИСП РАН. С 2013 г. работает в отделе технологий программирования. Участвовал в проектах центра верификации ОС Linux, связанных с автоматизацией формальной верификации моделей программ на языке Си. Сфера научных интересов включает методы формальной верификации (в первую очередь, методы проверки моделей), а также другие направления по обеспечению надежности и безопасности операционных систем и другого системного ПО.

Организаторы

При поддержке