Выпускная квалификационная работа Меньщикова Максима Александровича посвящена проблематике возникновения плавающих ошибок программного кода, невидимых при тестировании, т.е. так называемому состоянию гонки. Задача представляет собой достаточно сложно решаемую проблему, поскольку она в некотором смысле неуловима. В работе поставлена задача разработать программный комплекс, осуществляющий нахождение состояний гонки в программах на языке Си методом статического анализа.
В ходе выполнения квалификационной работы  Максим Александрович провел большой объем исследований, в рамках которых проанализировал существующие решения, разработал систему требований к разрабатываемой системе, провел реализацию алгоритма решения поставленной задачи, сделал тщательное подробное описание всех затрагиваемых аспектов, разработал пользовательский интерфейс.
Автором работы продемонстрировано владение, как теоретическими знаниями, так и практическим навыками в предметной области, причем на значительном уровне.
Проделанная работа носит законченный характер и заслуживает оценки «отлично», а ее автор – присвоения соответствующей квалификации. Рекомендую Максима Александровича для поступления в магистратуру, а результаты работы – к опубликованию.

Рецензент, к.ф.-м.н., доцент 
каф. Компьютерных технологий и систем	Лепихин Т.А.