Институт системного программирования Роcсийской академии наук


Защиты

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