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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м
 
(не показаны 6 промежуточные версии 2 участников)
Строка 1: Строка 1:
 
{{DISPLAYTITLE:Подымов Владислав Васильевич}}
 
{{DISPLAYTITLE:Подымов Владислав Васильевич}}
[[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, младший научный сотрудник
+
[[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, доцент и учёный секретарь кафедры МК.
  
 
* e-mail: valdus@yandex.ru
 
* e-mail: valdus@yandex.ru
Строка 7: Строка 7:
 
== [[Области научных интересов]] ==
 
== [[Области научных интересов]] ==
  
* Формальная верификация программ
+
* Формальная верификация программ и цифровой аппаратуры
 
* Проверка эквивалентности программ
 
* Проверка эквивалентности программ
 
* Программно-конфигурируемые сети
 
* Программно-конфигурируемые сети
Строка 14: Строка 14:
 
== Лекционные курсы ==
 
== Лекционные курсы ==
  
* [[Математическая логика и логическое программирование (группа 318)]]
+
* [[Математическая логика (группы 318, 241)]]
 +
* [[Математические методы верификации схем и программ]]
 +
* [[Математические модели и методы проектирования архитектуры сверхбольших интегральных схем]]
 +
* [[Языки описания схем]]
  
 
== Спецсеминары ==
 
== Спецсеминары ==
  
 
* [[Теоретические проблемы программирования]]
 
* [[Теоретические проблемы программирования]]
 
== Аспиранты и студенты ==
 

Текущая версия на 10:37, 7 октября 2022

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

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

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

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

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