ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель: Кушик Наталья Геннадьевна

Шифр совета:Д 212.267.12
Вид диссертации:докторская
Тема диссертации:Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов
Специальность:05.13.01 - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) по физико-математическим наукам

Работа выполнена в Национальном исследовательском Томском государственном университете
Научный консультант: д-р техн. наук, профессор Евтушенко Нина Владимировна

Дата защиты: 12/14/2016 г.
Место защиты: г. Томск, пр. Ленина, 36, учебный корпус № 2 ТГУ, ауд. 212Б
Официальный оппонент: д-р физ.-мат. наук, ст. науч. сотр. Бурдонов Игорь Борисович
ведущий научный сотрудник отдела «Технологии программирования», Институт системного программирования Российской академии наук, г. Москва
Официальный оппонент: д-р физ.-мат. наук, профессор Волков Михаил Владимирович
главный научный сотрудник лаборатории комбинаторной алгебры, Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, г. Екатеринбург
Официальный оппонент: д-р техн. наук, профессор Бандман Ольга Леонидовна
главный научный сотрудник лаборатории синтеза параллельных программ, Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
Ведущая организация: Ярославский государственный университет им. П.Г. Демидова, г. Ярославль

  Диссертация
    Открыть, размещено 27.06.2016 г.
   

  Сведения о научном консультанте (консультантах)
    Открыть, размещено 05.09.2016 г.
   

  Отзыв научного консультанта (консультантов)
    Открыть, размещено 05.09.2016 г.
   

  Решение о принятии к защите
    Открыть, размещено 05.09.2016 г.
   

  Автореферат
    Открыть, размещено 05.09.2016 г.

  Сведения об официальных оппонентах,
  согласия на назначение
    Открыть, размещено 05.09.2016 г.
    Открыть, размещено 05.09.2016 г.
    Открыть, размещено 05.09.2016 г.
   

  Отзывы официальных оппонентов
    Открыть, размещено 17.11.2016 г.
    Открыть, размещено 29.11.2016 г.
    Открыть, размещено 01.12.2016 г.
   

  Сведения о ведущей организации,
  согласие на назначение
    Открыть, размещено 05.09.2016 г.
   

  Отзыв ведущей организации
    Открыть, размещено 01.12.2016 г.
   

  Отзывы на автореферат
    Открыть, размещено 06.12.2016 г.
    Открыть, размещено 12.12.2016 г.
    Открыть, размещено 12.12.2016 г.
    Открыть, размещено 13.12.2016 г.
    Открыть, размещено 13.12.2016 г.
   

  Сведения о результатах защиты диссертации
    Открыть, размещено 27.12.2016 г.