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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Строка 15: Строка 15:
  
 
* [[Математическая логика и логическое программирование (группа 318)]]
 
* [[Математическая логика и логическое программирование (группа 318)]]
 +
* [[Математическая логика и теория алгоритмов]]
 +
* [[Математические методы верификации схем и программ]]
 +
* [[Математические модели и методы проектирования архитектуры сверхбольших интегральных схем]]
 +
* [[Языки описания схем]]
  
 
== Спецсеминары ==
 
== Спецсеминары ==
  
 
* [[Теоретические проблемы программирования]]
 
* [[Теоретические проблемы программирования]]
 
== Аспиранты и студенты ==
 

Версия 13:42, 19 сентября 2017

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

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

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

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

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