Ковалев Даниил Юрьевич
- Аспирант:Московский институт электроники и математики им. А.Н. Тихонова / Кафедра компьютерной безопасности
Обучение в аспирантуре
1-й год обучения
Утвержденная тема диссертации: Метод формальной верификации программного обеспечения, используемого на ранних этапах загрузки системы
Научный руководитель: Нестеренко Алексей Юрьевич