Участник:PodymovVV — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м
м (уточнение должности)
Строка 1: Строка 1:
 
{{DISPLAYTITLE:Подымов Владислав Васильевич}}
 
{{DISPLAYTITLE:Подымов Владислав Васильевич}}
[[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, доцент.
+
[[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, доцент кафедры МК.
  
 
* e-mail: valdus@yandex.ru
 
* e-mail: valdus@yandex.ru

Версия 20:24, 10 марта 2022

Подымов Владислав Васильевич
Подымов Владислав Васильевич — кандидат физико-математических наук, доцент кафедры МК.

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

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

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

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