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