14 мая 2012 г. на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. акад. Лаврентьева, 6 состоялась защита диссертации Марьясова Ильи Владимировича «Верификация С-программ с помощью смешанной аксиоматической семантики на соискание степени кандидата наук по специальности 05.13.11.
Поздравляем Илью Владимировича с успешной защитой и желаем дальнейших успехов в науке и труде!