имя:
пароль:
регистрация
|
забыли пароль?
Начало
СО РАН
Первичные фотоматериалы
Архив газет "За науку в Сибири"
О проекте
Полезные ссылки
Фотографии
Персоны
Организации
искать по отдельным словам
|
расширенный поиск
Шилов Николай Вячеславович
1
2
2011апр19
,
Новосибирск
Титулы
Кандидат физико-математических наук
с 1997 Старший научный сотрудник
Места работы
с 1987
Институт вычислительной математики и математической геофизики СО РАН
младший научный сотрудник
с 1993
Институт систем информатики имени А.П. Ершова СО РАН
старший научный сотрудник лаборатории теоретического программирования
Участие
5-я Ершовская лекция
VeHa - соревнования по формальной верификации программ
тренер и организатор соревнования VeHa-2024 и VeHa-2025.
(c) Фотоархив Сибирского отделения Российской академии наук