Институт системного программирования им. В.П. Иванникова РАН


Защиты

Соискатель Тема диссертации Искомая степень Стaтус Дата размещения Дата защиты
Черных Андрей Николаевич Методы и алгоритмы решения задач оптимизации ресурсов в нестационарных распределенных гетерогенных вычислительных средах Доктор физико-математических наук Принята к защите 07 сентября 2021 09 декабря 2021
Алимова Ильсеяр Салимовна Нейросетевой механизм кросс-внимания в задачах извлечения информации из текстов на примере биомедицинских данных Кандидат технических наук Принята к защите 05 апреля 2021 10 июня 2021
Гомзин Андрей Геннадьевич Методы и программные средства определения значений стационарных демографических атрибутов пользователей социальных сетей Кандидат физико-математических наук Принята к защите 05 апреля 2021 10 июня 2021
Гонахчян Вячеслав Игоревич Адаптивная стратегия рендеринга динамических трехмерных сцен Кандидат технических наук Принята к защите 05 апреля 2021 10 июня 2021
Андрианов Павел Сергеевич Анализ корректности синхронизации компонентов ядра операционных систем Кандидат физико-математических наук Защищена 23 марта 2021 25 мая 2021
Гукасян Цолак Гукасович Методы и программные средства для выявления заимствований в текстах на армянском языке Кандидат технических наук Защищена 23 марта 2021 25 мая 2021
Нурмухаметов Алексей Раисович Применение диверсифицирующих преобразований для защиты от эксплуатации уязвимостей Кандидат технических наук Защищена 23 марта 2021 25 мая 2021
Шестаков Евгений Игоревич Алгоритмическое и программное обеспечение адаптивной системы управления модульными роботами Кандидат технических наук Защищена 23 марта 2021 25 мая 2021
Дробышевский Михаил Дмитриевич Методы и программные средства моделирования и генерации сложных сетей с сохранением графовых свойств Кандидат физико-математических наук Защищена 07 октября 2019 12 декабря 2019
Захаров Илья Сергеевич Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ Кандидат физико-математических наук Защищена 20 марта 2019 23 мая 2019
Малых Валентин Андреевич Методы сравнения и построения устойчивых к шуму программных систем в задачах обработки текстов Кандидат технических наук Защищена 20 марта 2019 23 мая 2019
Дудина Ирина Александровна Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения Кандидат физико-математических наук Защищена 13 марта 2019 16 мая 2019
Петров Иван Сергеевич Обнаружение скомпрометированных коммутаторов в программно-конфигурируемых сетях Кандидат физико-математических наук Защищена 11 марта 2019 16 мая 2019
Четверина Ольга Александровна Повышение качества компиляции кода в режиме по умолчанию Кандидат физико-математических наук Защищенае 11 марта 2019 16 мая 2019
Асланян Айк Каренович Методы статического анализа для поиска дефектов в исполняемом коде программ Кандидат физико-математических наук Защищена 09 января 2019 14 марта 2019
Герасимов Александр Юрьевич Классификация предупреждений о программных ошибках методом динамического символьного исполнения программ Кандидат физико-математических наук Защищена 09 января 2019 14 марта 2019
Нгуен Нгок Зиеп Алгоритмы построения адаптивного языкового человеко-машинного интерфейса для программных систем Кандидат физико-математических наук Защищена 16 октября 2018 20 декабря 2018
Панфёров Антон Александрович Алгоритмы символьных вычислений в системах компьютерной алгебры для линейных дифференциальных систем с выделенными неизвестными Кандидат физико-математических наук Защищена 25 сентября 2018 20 декабря 2018
Батузов Кирилл Андреевич Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции Кандидат физико-математических наук Защищена 2018-03-21 2018-05-24
Иваничкина Людмила Владимировна Математические модели надежности и методы ее повышения в современных распределенных отказоустойчивых системах хранения данных Кандидат технических наук Защищена 2018-03-21 2018-05-24
Сударева Ольга Юрьевна Встречная оптимизация класса задач трёхмерного моделирования для архитектур многоядерных процессоров Кандидат физико-математических наук Защищена 2018-03-21 2018-05-24
Аничкин Антон Сергеевич Объектно-ориентированная среда для разработки приложений теории расписаний Кандидат физико-математических наук Защищена 2018-02-08 2018-04-19
Гимпельсон Вадим Дмитриевич Сокращение длины критических путей при динамической трансляции двоичных кодов Кандидат физико-математических наук Защищена 2018-02-07 2018-04-19
Каушан Вадим Владимирович Поиск ошибок выхода за границы буфера в бинарном коде программ Кандидат технических наук Защищена 2017-12-13 2018-02-15
Белеванцев Андрей Андреевич Многоуровневый статический анализ исходного кода для обеспечения качества программ Доктор физико-математических наук Защищена 2017-11-13 2018-02-15
Фурсова Наталья Игоревна Методы мониторинга объектов операционной системы, выполняющейся в виртуальной машине Кандидат технических наук Защищена 2017-10-16 2017-12-21
Федотов Андрей Николаевич Разработка метода оценки эксплуатируемости программных дефектов Кандидат технических наук Защищена 2017-10-12 2017-12-21
Татарников Андрей Дмитриевич Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций Кандидат технических наук Защищена 2017-08-08 2017-10-19
Мордань Виталий Олегович Методы верификации программ на основе композиции задач достижимости Кандидат физико-математических наук Защищена 2017-03-23 2017-05-25
Маркин Юрий Витальевич Методы и средства углубленного анализа сетевого трафика Кандидат технических наук Защищена 2017-03-23 2017-05-25
Кошелев Владимир Константинович Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке С# Кандидат физико-математических наук Защищена 2017-03-22 2017-05-25
Буренков Владимир Сергеевич Методы и средства верификации протоколов когерентности памяти Кандидат технических наук Защищена 2017-03-09 2017-05-25
Мандрыкин Михаил Усамович Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей Кандидат физико-математических наук Защищена 2016-10-13 2016-12-15
Ермаков Михаил Кириллович Методы повышения эффективности итеративного динамического анализа программ Кандидат технических наук Защищена 2016-10-10 2016-12-15
Бородин Алексей Евгеньевич Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++ Кандидат физико-математических наук Защищена 2016-04-07 2016-06-16
Тутубалина Елена Викторовна Методы извлечения и резюмирования критических отзывов пользователей о продукции Кандидат физико-математических наук Защищена 2016-04-07 2016-06-16
Акопян Манук Сосович Инструментальные средства поддержки автоматизированной разработки параллельных программ Кандидат физико-математических наук Защищена 2015-11-17 2016-03-17
Саргсян Севак Сеникович Методы поиска клонов кода и семантических ошибок на основе семантического анализа программы Кандидат физико-математических наук Защищена 2015-12-28 2016-03-17
Мелехова Анна Леонидовна Управление физической памятью виртуальной машины Кандидат технических наук Защищена 2015-11-03 2016-01-28
Самоваров Олег Ильгисович Разработка системного прогаммного обеспечения для развертывания предметно-ориентированных Web-лабораторий Кандидат технических наук Защищена 2015-07-07 2015-09-17
Игнатьев Валерий Николаевич Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ Кандидат физико-математических наук Защищена 2015-03-05 2015-05-28
Коршунов Антон Викторович Исследование структуры сообществ пользователей в графах онлайновых социальных сетей Кандидат физико-математических наук Защищена 2015-03-16 2015-05-28
Заикин Данила Александрович Терминологический поиск в коллекциях математических текстов Кандидат технических наук Защищена 2014-11-28 2015-03-05
Золотов Владислав Александрович Перспективные методы индексирования пространственно-временных данных Кандидат физико-математических наук Защищена 2014-12-11 2015-03-05
Астраханцев Никита Александрович Методы и программные средства извлечения терминов из коллекции текстовых документов предметной области Кандидат физико-математических наук Защищена 2014-12-11 2015-03-05