Шилов Николай Вячеславович

Шилов Николай Вячеславович

Россия, Новосибирск
Степень
кандидат физико-математических наук
Звание
Старший научный сотрудник
Область научных интересов
прикладная логика
теория программирования
верификация программ
языки программирования
Место работы и должность
Институт систем информатики им. А.П. Ершова СО РАН  — старший научный сотрудник
Новосибирский государственный университет  — доцент
Новосибирский государственный технический университет  — доцент
Адрес электронной почты
shilov@iis.nsk.su
shiloviis@mail.ru
Список статей в журнале СИ: