Подымов Владислав Васильевич
Материал из Кафедра математической кибернетики
(перенаправлено с «Подымов Владислав Васильевич»)
Подымов Владислав Васильевич — кандидат физико-математических наук, доцент и учёный секретарь кафедры МК.
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ и цифровой аппаратуры
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
Лекционные курсы
- Математическая логика (группы 318, 241)
- Математические методы верификации схем и программ
- Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- Языки описания схем