Архив новостей
Все новости
подробнее -->
 
 
 
 
Защита диссертации: Лукин Михаил Андреевич
Диссертационный совет: Д 212.227.06
Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (технические науки)
Дата размещения диссертации: 15.10.2014
Дата защиты: 27.12.2014
Название диссертации: Верификация автоматных программ
Файлы:

Название Файл Дата
1  Автореферат Скачать 27.10.2014
2  Диссертация Скачать 15.10.2014
3  Заключение диссертационного совета Скачать 29.12.2014
4  Объявление о защите Скачать 27.10.2014
5  Отзыв научного руководителя Скачать 24.10.2014
6  Решение о приеме к защите Скачать 24.10.2014
7  Решение о присуждении ученой степени Скачать 29.12.2014
8  Список членов совета, присутствующих на заседании Скачать 29.12.2014
 


Ведущая организация
Название Отзыв Публикации
ФГБОУ ВПО "Ярославский государственный университет имени П.Г.Демидова"  скачать
(16.12.2014) 
скачать 
Официальные оппоненты
Ф.И.О. Ученая степень Ученое звание Специальность Место работы Должность Отзыв Публикации
Карпов Юрий Глебович  доктор технических наук  профессор    ФГАОУ ВО "Санкт-Петербургский политехнический университет"  Заведующий кафедрой "Распределенные вычисления и компьютерные сети" Института информационных технологий и управленияя  скачать
(16.12.2014) 
скачать 
Нарвский Андрей Сергеевич  кандидат технических наук      ООО "Эвелоперс"  Генеральный директор  скачать
(16.12.2014) 
скачать 
 


Отзывы на автореферат
Ф.И.О. Ученая степень Место работы Должность Отзыв
Марлей В.Е.   Доктор технических наук   ФГБОУ ВО "Государственный университет морского и речного флота имени адмирала С.О. Макарова"   заведующий кафедрой "Вычислительные системы и информатика"  скачать
(12.12.2014) 
Васильев В.А.   Кандидат физико-математических наук   ОАО "Концерн "Центральный научно-исследовательский институт "Электроприбор"   Научный сотрудник  скачать
(16.12.2014) 
Трифанов В.Ю.   Кандидат технических наук   ООО "Эксперт-Система СЗ"   Старший программист  скачать
(17.12.2014) 
Клебан В.О.     ООО "Интеллектуальные системы"   Генеральный директор  скачать
(17.12.2014) 
 



Страница для печати: http://fppo.ifmo.ru/?page1=16&page2=52&page_d=1&page_d2=130123
 

 
Дополнительно