Подымов Владислав Васильевич

Материал из Кафедра математической кибернетики
(перенаправлено с «Подымов Владислав Васильевич»)
Перейти к: навигация, поиск
Подымов Владислав Васильевич
Подымов Владислав Васильевич — кандидат физико-математических наук, младший научный сотрудник

Области научных интересов

  • Формальная верификация программ
  • Проверка эквивалентности программ
  • Программно-конфигурируемые сети
  • Временные автоматы

Лекционные курсы

Спецсеминары