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