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


Защиты

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