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