Публикуем!

Гаранина Наталья Олеговна

Титулы и награды

Кандидат физико-математических наук

Работа

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

Участие

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

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

2003июл09, Новосибирск

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

2010мар22, Новосибирск

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

2011июл01, Новосибирск

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

2011июл01

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

2021июн30, Новосибирск

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

2024фев15, Новосибирск

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, Новосибирск