• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
русский
Контакты
Адрес: Таллинская ул., д. 34
ORCID: 0009-0007-1447-3836
Руководитель
Нестеренко А. Ю.
Версия для печати


Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Ковалев Даниил Юрьевич

    Владение языками
    английский
    русский
    Контакты
    Адрес: Таллинская ул., д. 34
    ORCID: 0009-0007-1447-3836
    Руководитель
    Нестеренко А. Ю.
    Версия для печати


    Нашли опечатку?
    Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
    Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.


    Обучение в аспирантуре

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