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

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

Должность:

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

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

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


Публикации

  1. 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.