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

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

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

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

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

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

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

Новосибирск

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

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

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

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

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

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

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

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

unexpected variant

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