Подымов Владислав Васильевич

Подымов Владислав Васильевич

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

• e-mail: valdus@yandex.ru
• Профиль в системе ИСТИНА

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

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

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

• Математическая логика (группы 318, 241)
• Математические методы верификации схем и программ
• Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
• Языки описания схем

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

• Теоретические проблемы программирования