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

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

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

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

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

Новосибирск

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

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

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

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

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

unexpected variant

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