Папка 696 Из личных коллекций

VeHa - соревнования по формальной верификации программ

Бояндин Лев Константинович

Гаранина Наталья Олеговна

Институт систем информатики имени А.П. Ершова СО РАН

Ищенко Артём Дмитриевич

Кондратьев Дмитрий Александрович

Новосибирск

Разбитнова Юлия Юрьевна

Харьков Александр Андреевич

Черненко Иван Михайлович

Шабанова Маргарита Андреевна

Шелехов Владимир Иванович

Шилов Николай Вячеславович

Ануреев Игорь Сергеевич

2026фев09Фотоархив СО РАН

unexpected variant

Команда соревнований по формальной верификации программ VeHa-2025. Стоят слева направо: Ю.Ю. Разбитнова, А.Д. Ищенко, Л.К. Бояндин, Д.А. Кондратьев, И.М. Черненко, Н.О. Гаранина, Н.В. Шилов, В.И. Шелехов, А.А. Харьков, М.А. Шабанова.