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

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

Брек Роман Алесеевич

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

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

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

Новосибирск

Новосибирский государственный университет

Пальянов Андрей Юрьевич

Панченко Наталья Андреевна

Шарапов Максим Борисович

2024апр04Фотоархив СО РАН

unexpected variant

Команда НГУ. Стоят слева направо: Н.О. Гаранина, Н.А. Панченко, Р.А. Брек, М.Б. Шарапов, Д.А. Кондратьев, А.Ю. Пальянов.