Участник:ZizovVS — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Create file)
(нет различий)

Версия 12:50, 13 мая 2025

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

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

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

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

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