Защиты диссертаций в ИСП РАН
Новости
07 Декабря, 2024
Прощание с академиком Е.П. Велиховым
06 Декабря, 2024
Опрос Министерства науки и высшего образования Российской Федерации
24 Сентября, 2024
Приглашаем принять участие в Открытой конференции ИСП РАН
Защиты
| Соискатель | Тема диссертации | Искомая степень | Стaтус | Дата размещения | Дата защиты |
| Обыденков Дмитрий Олегович | Методы противодействия анонимности при утечках текстовых документов посредством цифровых водяных знаков | Кандидат технических наук | Принята к защите | 14 октября 2024 | 17 декабря 2024 |
| Сигалов Даниил Алексеевич | Методы выявления поверхности атаки веб-приложений при помощи анализа клиентского JavaScript-кода | Кандидат технических наук | Принята к защите | 14 октября 2024 | 17 декабря 2024 |
| Саргсян Севак Сеникович | Методы оптимизации алгоритмов статического и динамического анализа программ | Доктор технических наук | Принята к защите | 13 сентября 2024 | 17 декабря 2024 |
| Анциферова Анастасия Всеволодовна | Методы проектирования и тестирования алгоритмов оценки качества обработки и кодирования видеоданных | Кандидат физико-математических наук | Защищена | 10 апреля 2024 | 13 июня 2024 |
| Кучуков Виктор Андреевич | Разработка методов и программных средств повышения производительности отказоустойчивых вычислительных систем, работающих в модулярном коде | Кандидат технических наук | Защищена | 10 апреля 2024 | 13 июня 2024 |
| Шимчик Никита Владимирович | Исследование и разработка методов поиска уязвимостей в программах на C и C++ на основе статического анализа помеченных данных | Кандидат технических наук | Защищена | 10 апреля 2024 | 13 июня 2024 |
| Аветисян Карен Ишханович | Метод обнаружения межъязыковых заимствований в текстах | Кандидат технических наук | Защищена | 03 октября 2023 | 07 декабря 2023 |
| Карпулевич Евгений Андреевич | Построение программного конвейера для выравнивания последовательностей в приложениях биоинформатики | Кандидат физико-математических наук | Защищена | 04 октября 2023 | 07 декабря 2023 |
| Валуева Мария Васильевна | Разработка методов и алгоритмов построения цифровых устройств интеллектуального анализа визуальных данных | Кандидат технических наук | Защищена | 14 августа 2023 | 19 октября 2023 |
| Куц Даниил Олегович | Метод моделирования косвенной адресации в рамках динамической символьной интерпретации | Кандидат технических наук | Защищена | 15 августа 2023 | 19 октября 2023 |
| Чан Ти Тхиен | Разработка нового метода автоматизированного тестирования программных библиотек | Кандидат технических наук | Защищена | 14 августа 2023 | 19 октября 2023 |
| Вишняков Алексей Вадимович | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Кандидат физико-математических наук | Защищена | 11 октября 2022 | 15 декабря 2022 |
| Головешкин Алексей Валерьевич | Устойчивая алгоритмическая привязка к коду программы | Кандидат технических наук | Защищена | 11 октября 2022 | 15 декабря 2022 |
| Девяткин Дмитрий Алексеевич | Построение ансамблей деревьев решений с использованием линейных и нелинейных разделителей | Кандидат физико-математических наук | Защищена | 11 октября 2022 | 15 декабря 2022 |
| Бучацкий Рубен Артурович | Метод динамической компиляции SQL-запросов для реляционных СУБД | Кандидат технических наук | Защищена | 04 октября 2022 | 08 декабря 2022 |
| Бабенко Михаил Григорьевич | Математические модели, методы и алгоритмы обработки зашифрованных данных в распределенных средах | Доктор физико-математических наук | Защищена | 05 сентября 2022 | 08 декабря 2022 |
| Черных Андрей Николаевич | Методы и алгоритмы решения задач оптимизации ресурсов в нестационарных распределенных гетерогенных вычислительных средах | Доктор физико-математических наук | Защищена | 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 |