Дата рождения: 10.02.1971
E-mail: ,
Ключевые слова: верификация программ, спецификация программ, семантика программ, автоматическое доказательство, онтологии.

Основные темы научной работы:

Верификация программ, спецификация программ, семантика программ.

Основные публикации:

1. Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В., “На пути к верификации С программ. Язык C-light и его формальная семантика”, Программирование, 2002, № 6, 1–13
2. Ануреев И. С., “Операционно-онтологический подход к формальной спецификации языков программирования”, Программирование, 2009, № 1, 1–11
3. Непомнящий В. А., Ануреев И. С., Промский А. В., “На пути к верификации С программ. Аксиоматическая семантика языка C-kernel”, Программирование, 2003, № 6, 5–15
4. Непомнящий В. А., Ануреев И. С., Промский А. В., Дубрановский И. В., “На пути к верификации C# программ: трехуровневый подход”, Программирование, 2006, № 4, 4–20
5. Шилов Н. В., Ануреев И. С., Бодин Е. В., “О генерации условий корректности для императивных программ”, Программирование, 2008, № 6, 1–20

Публикации в базе данных Math-Net.Ru

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

• 
• 

Организации:

• Институт систем информатики им. А. П. Ершова СО РАН, г. Новосибирск