Разработка и исследовательская деятельность в группе формальных методов KasperskyOS. Работа над созданием надежной и безопасной операционной системы.