Подразделения

Козин Святослав Владимирович

Должность:

специалист научно-методического отдела проектирования и развития городских инициатив

Основные направления деятельности 

Сбор и обработка материалов в процессе исследований в соответствии с утвержденной программой работы; обработка, систематизация и оформление в соответствии с методическими материалами результатов исследований.


Публикации:

Kozin S.V., Mutilin V.S. Static Verification of Linux Kernel Configurations. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017; 29(4): 217−230.