Embedded Files
Гаранина Наталья
Гаранина Наталья
к.ф.-м.н., с.н.с. Института Систем Информатики, Института Автоматики и Электрометрии СО РАН, доцент НГУ
Ответственная за секцию Model Checking
Зиборов Кирилл
Зиборов Кирилл
Инженер по формальной верификации Positive Technologies и аспирант механико-математического факультета МГУ
Ответственный за секцию "Построение и проверка модели протокола консенсуса IBFT"
Кокорин Артём
Кокорин Артём
Старший специалист по анализу безопасности отдела анализа СЗИ и формальной верификации
Группа Астра
Ответственный за секцию Frama-C
Кондратьев Дмитрий
Кондратьев Дмитрий
к.ф.-м.н., н.с. Института систем информатики им. А.П. Ершова СО РАН и старший преподаватель Новосибирского Государственного Университета
Ответственный за секцию Deductive Verification C-lightVer
Красненкова Анастасия
Красненкова Анастасия
Специалист по анализу безопасности отдела анализа СЗИ и формальной верификации
Группа Астра
Ответственная за секцию Frama-C
Никольский Денис
Никольский Денис
Университет Иннополис
Координатор задач
Сим Виолетта
Сим Виолетта
Университет Иннополис
Координатор задач
Участник контеста VeHa-2023
Старолетов Сергей
Старолетов Сергей
к.ф.-м.н., доцент АлтГТУ, с.н.с. Института Автоматики и Электрометрии СО РАН
Ответственный за секцию Model Checking
И за данный сайт
Черганов Тимофей
Черганов Тимофей
Старший специалист по анализу безопасности отдела анализа СЗИ и формальной верификации
Группа Астра
Ответственный за секцию Coq
Шилов Николай
Шилов Николай
Шошмина Ирина
Шошмина Ирина
к.т.н, доцент кафедры распределенных вычислений СПбПУ
Ответственная за секцию Model Checking
Page updated
Google Sites
Report abuse