Николай Пакулин

Avatar1

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



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

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