Харьков Александр Андреевич

Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0508

2025ноя18, Новосибирск

Default.aspx?r=small&u=iiss://da3@iis.nsk.su/0001/0004/0509

2025ноя18, Новосибирск

Места работы

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

Участие

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

(c) Фотоархив Сибирского отделения Российской академии наук