 | Шилов Николай Вячеславович |
Титулы и награды
Кандидат физико-математических наук 1997 Старший научный сотрудникРабота
1987-1990апр01Институт вычислительной математики и математической геофизики СО РАН младший научный сотрудник 1993Институт систем информатики имени А.П. Ершова СО РАН старший научный сотрудник лаборатории теоретического программирования Участие VeHa - соревнования по формальной верификации программ тренер и организатор соревнования VeHa-2024 и VeHa-2025.