• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты
Электронная почта:
SPIN РИНЦ: 9415-5917
ORCID: 0000-0002-9916-056X
ResearcherID: E-2461-2014
Google Scholar
Версия для печати

 

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

Ефремов Денис Валентинович

  • Начал(а) работать в НИУ ВШЭ в 2015 году.


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

3-й год обучения
Утвержденная тема диссертации: Динамическая верификация ядер операционных систем для анализа выполнения высокоуровневых требований защиты информации
Научный руководитель: Петренко Александр Константинович