Нашли опечатку? Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие! Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
2-й год обучения Утвержденная тема диссертации: Метод формальной верификации программного обеспечения, используемого на ранних этапах загрузки системы Научный руководитель: Нестеренко Алексей Юрьевич
Конференции
2024
Ежегодная межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов имени Е.В.Арменского (Москва). Доклад: Построение формальной модели вычислительной системы для неавтоматизированной верификации программ на языке ассемблера
XXIII Международная конференция «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвященная 80-летию профессора Александра Ивановича Галочкина и 75-летию профессора Владимира Григорьевича Чирского (Тула). Доклад: Логика Хоара для императивного языка, учитывающего некоторые аппаратные ограничения
Опыт работы
янв. 2022...н.в. - Access Softek: инженер-разработчик компиляторов на основе LLVM
янв. 2021...дек. 2021 - Kaspersky: разработчик-исследователь в отделе анализа и улучшения производительности
фев. 2019...дек. 2020 - Kaspersky: стажер в отделе драйверов ядра