Новосибирский государственный университет студент бакалавриата механико-математического факультета.

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

Новосибирск