Поздравляем к.ф.-м.н. Кондратьева Дмитрия Александровича), занявшего второе место в конкурсе, автора цикла работ «Комплексный подход к автоматизации дедуктивной верификации программ с финитными итерациями», представленных на премию имени А.П. Ершова – за работы в области информатики, теории и автоматизации программирования, c награждением Почетной грамотой СО РАН участника конкурса по присуждению премии имени выдающихся ученых Сибирского отделения РАН.