Зизов Вадим Сергеевич

Зизов Вадим Сергеевич

Зизов Вадим Сергеевич — младший научный сотрудник кафедры МК.

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

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

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

Семинарские курсы

• Математическая логика (группы 318, 241)
• Основы кибернетики
• Дискретная математика (1 курс)
• Практикум на ЭВМ

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

• Теория управляющих систем и математические модели СБИС