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

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

Версия 03:41, 2 декабря 2015

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

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

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

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

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

Аспиранты и студенты