| Соискатель |
Тема диссертации |
Искомая степень |
Стaтус |
Дата размещения |
Дата защиты |
| Анциферова Анастасия Всеволодовна |
Методы проектирования и тестирования алгоритмов оценки качества обработки и кодирования видеоданных |
Кандидат физико-математических наук |
Принята к защите |
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 |
