Отзыв ведущей организации на диссертацию Михаила Усамовича Мандрыкина
СПбГУ выступает в качестве ведущей организации по диссертации на соискание учёной степени кандидата физико-математических наук Михаила Усамовича Мандрыкина «Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей» (Специальность 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей). Отзыв составил Д. Ю. Булычев (д.т.н., доцент кафедры системного программирования СПбГУ) и Д. В. Кознов ( к.ф.-м.н., доцент кафедры системного программирования СПбГУ).