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

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

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

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

Новосибирск

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

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

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

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

unexpected variant

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