Николай Пакулин, старший научный сотрудник ИСП РАН.
Кандидат физико-математических наук (2006 г.), тема диссертации:
«Формализация стандартов и тестовых наборов протоколов Интернета», руководитель А. К. Петренко. С 2000 г. года работает
в Институте системного программирования РАН, с 2010 года — в должности старшего научного сотрудника. С 2012 года преподает
на кафедре Системного программирования факультета управления и прикладной математики МФТИ. Основные научные результаты:
участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов,
адаптация унифицированной архитектуры тестового набора к тестированию асинхронных систем и протоколов, разработка гипервизора
для обеспечения конфиденциальности.
Уважаемые коллеги! Для прохода в здание РАН просим принести документ, удостоверяющий личность.
