![Ануреев Игорь Сергеевич Ануреев Игорь Сергеевич](/files/styles/news/public/news/image/anureev.jpg?itok=Uown7qFY)
Президиум Сибирского отделения Российской академии наук постановил присудить сотруднику лаборатории теоретического программирования ИСИ СО РАН к.ф.-м.н. Анурееву Игорю Сергеевичу премию им. акад. А.П. Ершова за работу "Методы автоматического доказательства, ориентированные на верификацию программ". Поздравляем и желаем дальнейших творческих успехов!