Студенты ВШПИ победители Verification Hackathon VeHa'2025

В Новосибирске с 5 по 8 ноября 2025 прошло Третье всероссийское соревнование Verification Hackathon VeHa'2025 по формальной верификации программ. Мероприятие организуется группой энтузиастов по формальным методам (ИСИ СО РАН, ИАиЭ СО РАН, НГУ, СпбПУ, АлтГТУ) в сотрудничестве с Группой Астра и Лабораторией Касперского. В этом году соревнование проводилось как мероприятие-спутник XXVI Открытой всесибирской олимпиады по программированию им. И. В. Поттосина. В соревновании принимали участие студенты вузов: МГУ, НГУ, ИТМО, СПбПУ и свободные участники.

Мы поздравляем студентов Политеха, занявших призовые места в Veha’2025: Чешковского Алексея, Чумакову Ольгу, Ромашова Всеволода, Рышкову Софию, Ушакову Марию, Григорьеву Марию, Дьяченко Михаила, Антонова Андрея.