Президиум Сибирского отделения Российской академии наук постановил присудить сотруднику лаборатории теоретического программирования ИСИ СО РАН к.ф.-м.н. Анурееву Игорю Сергеевичу премию им. акад. А.П. Ершова за работу "Методы автоматического доказательства, ориентированные на верификацию программ". Поздравляем и желаем дальнейших творческих успехов!