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

Материал из Кафедра математической кибернетики
Версия от 10:37, 7 октября 2022; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Подымов Владислав Васильевич
Подымов Владислав Васильевич — кандидат физико-математических наук, доцент и учёный секретарь кафедры МК.

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

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

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

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