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