Отзыв ведущей организации на диссертацию Михаила Усамовича Мандрыкина
188bet体育_188bet亚洲体育_点此进入 выступает в качестве ведущей организации по диссертации на соискание учёной степени кандидата физико-математических наук Михаила Усамовича Мандрыкина ?Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей? (Специальность 05.13.11 —?математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей). Отзыв составил?Д. Ю. Булычев?(д.т.н., доцент кафедры системного программирования 188bet体育_188bet亚洲体育_点此进入) и Д. В. Кознов ( к.ф.-м.н., доцент кафедры системного программирования 188bet体育_188bet亚洲体育_点此进入).