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

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

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

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

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

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

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

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