- Диссертация: Кондратьев Дмитрий Александрович, Методы комплексного подхода к автоматизации дедуктивной верификации
программ с финитными итерациями
на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Дата размещения – 27.06.2022- Отзыв научного руководителя к.ф.-м.н. Промского А.В. (дата размещения 27.06.2022)
- Заключение организации, в которой выполнялась диссертация (дата размещения 27.06.2022)
- Сведения о научном руководителе (дата размещения 27.06.2022)
- Решение диссертационного совета от 07.07.2022
- Решение диссертационного совета от 13.07.2022
- Автореферат диссертации (дата размещения 13.07.2022)
- Сведения о ведущей организации (дата размещения 01.08.2022)
- Сведения об оппоненте Петренко А.К. (дата размещения 15.08.2022)
- Сведения об оппоненте Скопине И.Н. (дата размещения 15.08.2022)
- Отзыв ведущей организации (дата размещения 17.08.2022)
- Отзыв оппонента д.ф.-м.н. Петренко А.К. (дата размещения 30.08.2022)
- Отзыв оппонента к.ф.-м.н. Скопина И.Н. (дата размещения 30.08.2022)
- Отзыв на автореферат к.н. Наумчева А.В. (дата размещения 30.08.2022)
- Отзыв на автореферат к.ф.-м.н. Старолетова С.М. (дата размещения 01.09.2022)
- Отзыв на автореферат к.ф.-м.н. Шилова Н.В. (дата размещения 01.09.2022)
- Информационная справка (дата размещения 22.08.2022)
- Решение диссертационного совета от 14.09.2022 (дата размещения 15.09.2022)
- Заключение диссертационного совета от 14.09.2022 (дата размещения 15.09.2022)
- Диссертация: Мордвинов Дмитрий Александрович, Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями
на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Дата размещения – 16.09.2020- Отзыв научного руководителя д.т.н. Кознова Д.В. (дата размещения 21.09.2020)
- Решение диссертационного совета от 23.09.2020
- Решение диссертационного совета от 13.11.2020 (дата размещения 13.11.2020)
- Автореферат диссертации (дата размещения 14.11.2020)
- Сведения о ведущей организации (дата размещения 23.12.2020)
- Отзыв ведущей организации (дата размещения 24.02.2021)
- Сведения об оппоненте Ломазовой И.А. (дата размещения 23.12.2020)
- Отзыв оппонента д.ф.-м.н. Ломазовой И.А. (дата размещения 12.02.2021)
- Сведения об оппоненте Шилове Н.В. (дата размещения 23.12.2020)
- Отзыв оппонента к.ф.-м.н. Шилова Н.В. (дата размещения 12.02.2021)
- Отзыв на автореферат к.т.н. Семёнова А.А. (дата размещения 21.01.2021)
- Отзыв на автореферат к.т.н. Ицыксона В.М. (дата размещения 12.03.2021)
- Отзыв на автореферат к.ф.-м.н. Чуприной С.И. (дата размещения 12.03.2021)
- Отзыв на автореферат д.ф.-м.н. Захарова В.А. (дата размещения 12.03.2021)
- Информационная справка (дата размещения 15.03.2021)
- Решение диссертационного совета от 25.03.2021 (дата размещения 26.03.2021)
- Заключение диссертационного совета от 25.03.2021 (дата размещения 26.03.2021)
- Диссертация: Аркашов Николай Сергеевич, Анализ структурных данных аномальных процессов переноса
на соискание ученой степени доктора физико-математических наук по специальности 05.13.17 – Теоретические основы информатики.
Дата размещения – 06.11.2019- Решение диссертационного совета от 12.11.2019
- Решение диссертационного совета от 17.12.2019 (дата размещения 18.12.2019)
- Автореферат диссертации (дата размещения 18.12.2019)
- Отзыв на автореферат д.ф.-м.н. Будаева В.П. (дата размещения 11.03.2020)
- Отзыв на автореферат д.т.н. Трофимова В.К. (дата размещения 18.03.2020)
- Сведения о ведущей организации (дата размещения 20.12.2019)
- Отзыв ведущей организации (дата размещения 11.03.2020)
- Сведения об оппоненте Кошкине Г.М. (дата размещения 20.12.2019)
- Отзыв оппонента д.ф.-м.н. Кошкина Г.М. (дата размещения 12.03.2020)
- Сведения об оппоненте Соппа М.С. (дата размещения 20.12.2019)
- Отзыв оппонента д.ф.-м.н. Соппа М.С. (дата размещения 11.03.2020)
- Сведения об оппоненте Войтишеке А.В. (дата размещения 20.12.2019)
- Отзыв оппонента д.ф.-м.н. Войтишека А.В. (дата размещения 11.03.2020)
- Решение диссертационного совета от 23.09.2020 (дата размещения 24.09.2020)
- Заключение диссертационного совета от 23.09.2020 (дата размещения 25.09.2020)
- Диссертация: Ковалевский Артем Павлович, Статистические критерии апостериорного обнаружения разладки временных рядов и их применения
на соискание ученой степени доктора физико-математических наук по специальности 05.13.17 – Теоретические основы информатики.
Дата размещения – 14.11.2018- Решение диссертационного совета от 15.11.2018 (дата размещения 15.11.2018)
- Решение диссертационного совета от 21.11.2018 (дата размещения 21.11.2018)
- Автореферат диссертации (дата размещения 21.11.2018)
- Отзыв на автореферат профессора Добронеца Б.С. (дата размещения 13.03.2019)
- Сведения о ведущей организации (дата размещения 12.12.2018)
- Отзыв ведущей организации (дата размещения 01.03.2019)
- Сведения об оппоненте д.ф.-м.н. Войтишеке А.В. (дата размещения 26.11.2018)
- Отзыв оппонента д.ф.-м.н. Войтишека А.В. (дата размещения 01.03.2019)
- Сведения об оппоненте д.ф.-м.н. Лотове В.И. (дата размещения 26.11.2018)
- Отзыв оппонента д.ф.-м.н. Лотова В.И. (дата размещения 01.03.2019)
- Сведения об оппоненте д.т.н. Поддубном В.В. (дата размещения 06.12.2018)
- Отзыв оппонента д.т.н. Поддубного В.В. (дата размещения 06.03.2019)
- Решение диссовета от 21.03.2019 (дата размещения 21.03.2019)
- Заключение диссертационного совета (дата размещения 22.03.2019)
- Диссертация: Шаталин Евгений Викторович, Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных
Дата размещения - 17.07.2017- Решение диссертационного совета (дата размещения 02.08.2017)
- Автореферат диссертации (дата размещения 02.08.2017)
- Отзыв научного руководителя д.ф.-м.н. Фосса С.Г. (дата размещения 02.08.2017)
- Сведения о ведущей организации (дата размещения 02.08.2017)
- Отзыв ведущей организации (дата размещения 04.10.2017)
- Сведения об оппоненте д.ф.-м.н. Цициашвили Г.Ш. (дата размещения 19.10.2017)
- Отзыв оппонента д.ф.-м.н. Цициашвили Г.Ш. (дата размещения 19.10.2017)
- Сведения об оппоненте к.ф.-м.н. Хрущеве С.Е. (дата размещения 23.10.2017)
- Отзыв оппонента к.ф.-м.н. Хрущева С.Е. (дата размещения 23.10.2017)
- Заключение диссертационного совета (дата размещения 08.11.2017)
- Решение диссертационного совета (дата размещения 08.11.2017)
Диссертации, находящиеся на предварительном рассмотрении в диссертационном совете (архив)
по научным специальностям
05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» (физико-математические науки)
05.13.17 – «Теоретические основы информатики» (физико-математические науки)
на базе
Федерального государственного бюджетного учреждения науки Института систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук (ИСИ СО РАН),
Федерального государственного бюджетного учреждения науки Института математики им. С.Л. Соболева Сибирского отделения Российской академии наук (ИМ СО РАН),
Федерального государственного бюджетного учреждения науки Института вычислительной математики и математической геофизики Сибирского отделения Российской академии наук (ИВМиМГ СО РАН)