Участник:PodymovVV — различия между версиями
Материал из Кафедра математической кибернетики
Root (обсуждение | вклад) |
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
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
