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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м
Строка 7: Строка 7:
 
== [[Области научных интересов]] ==
 
== [[Области научных интересов]] ==
  
* Формальная верификация программ и аппаратуры
+
* Формальная верификация программ и цифровой аппаратуры
 
* Проверка эквивалентности программ
 
* Проверка эквивалентности программ
 
* Программно-конфигурируемые сети
 
* Программно-конфигурируемые сети

Версия 11:34, 10 октября 2019

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

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

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

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

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