Отзыв научного руководителя (1090525)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

ОТЗЫВ научного руководителя соискателя ученой степени кандидата технических наук по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Быкова Сергея Анатольевича Быков Сергей Анатольевич в 2012 г. окончил федеральное образовательное учреждение высшего профессионального образования «Волгоградский государственный технический университет» по направлению «Информатика и вычислительная техника» с присвоением степени магистра техники и технологии, Через год он был зачислен в очную аспирантуру кафедры микропроцессорных технологий Московского физико-технического института. В период с 2013 по 2016 г.

он работал в должности научного сотрудника Московской лаборатории перспективных проблем САПР компании АО «Интел А/О». За время работы и учебы Быков С.А. проявил себя сложившимся ученым, способным самостоятельно ставить научные задачи и решать их. Он является исполнителем ряда научно-исследовательских работ. По результатам выполненных исследований было издано б работ, опубликованных в научных журналах, входящих в перечень периодических изданий, рекомендованных ВАК РФ для публикации основных результатов кандидатских диссертаций. Он является автором 1 публикации, индексируемой в ЮеЬ оГ Зс1епсе.

Быков С.А. отлично сдал кандидатские экзамены, подготовил и представил на соискание ученой степени кандидата технических наук по специальности 05.13.11— «Математическое и программное обеспечение вычислительных машин„комплексов и компьютерных сетей» законченную диссертационную работу «Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов». В работе проведен большой объем теоретических и экспериментальных исследований, получены новые научнотехнические результаты, позволяющие развивать направление применения техник декларативного программирования и формальных методов при решении актуальных задач разработки электроники.

Результаты, представленные им к защите, выполнены на высоком научном уровне, обладают научной новизной и полностью соответствуют требованиям ВАК РФ, предъявляемым к диссертациям на соискание ученой степени кандидата технических наук. Основные результаты работы Быкова С.А, опубликованы в рецензируемых научных изданиях, докладывались на ведущих конфе1)сиднях и семинарах по инфо1зматике, проблемам проектирования микро- и нанозлектроники, Учитывая изложенное выше„считаю Быкова Сергея Анатольевича достойным присуждения ученой степени кандидата технических наук по специальности 05.13.11— «Математическое и программное обеспечение вычислительных машин, комплексов н компыотс1зных сстейэ. Научный руководитель кандидат тсхничсских наук ведущий научный сотрудник лабора~ории перспективных проблем САПР компании 1пте1 Согрога11оп Рыженко Н,В .

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов диссертации