| Дата защиты | ФИО соискателя | Название диссертации | Ученая степень | Специальность |
|---|---|---|---|---|
| 08.11.2017 | Шаталин Евгений Викторович | Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных | Кандидат физико-математических наук | 05.13.17 – Теоретические основы информатики |
| 21.03.2019 | Ковалевский Артем Павлович | Статистические критерии апостериорного обнаружения разладки временных рядов и их применения | Доктор физико-математических наук | 05.13.17 – Теоретические основы информатики |
| 23.09.2020 | Аркашов Николай Сергеевич | Анализ структурных данных аномальных процессов переноса | Доктор физико-математических наук | 05.13.17 – Теоретические основы информатики |
| 25.03.2021 | Мордвинов Дмитрий Александрович | Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями | Кандидат физико-математических наук | 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей |
| 14.09.2022 | Кондратьев Дмитрий Александрович | Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями | Кандидат физико-математических наук | 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей |
Защиты диссертаций (архив)
по научным специальностям
05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» (физико-математические науки)
05.13.17 – «Теоретические основы информатики» (физико-математические науки)
на базе
Федерального государственного бюджетного учреждения науки Института систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук (ИСИ СО РАН),
Федерального государственного бюджетного учреждения науки Института математики им. С.Л. Соболева Сибирского отделения Российской академии наук (ИМ СО РАН),
Федерального государственного бюджетного учреждения науки Института вычислительной математики и математической геофизики Сибирского отделения Российской академии наук (ИВМиМГ СО РАН)