НОЦ СП. Темы выпускных работ за 2009 год

Темы выпускных работ за 2013 год

Магистерские диссертации

Группа 775

1. Каушан Вадим Владимирович "Группировка функций, восстановленных из бинарного кода" Рук. к.ф.-м.н. Гайсарян С.С.
2. Корчагин Василий Павлович "Разработка оптимизации предвыборки массивов в циклах в компиляторной инфраструктуре LLVM" Рук. к.ф.-м.н. Гайсарян С.С.
3. Минин Никита Вадимович "Разработка метода статического анализа кода с использованием охраняющих выражений" Рук. к.ф.-м.н. Гайсарян С.С.
4. Петрищев Константин Сергеевич "Глобальное планирование движения в 3D сценах на основе топологических карт" Рук. д.ф.-м.н. Семенов В.А.
5. Степанян Ваан Сейранович "Применение динамического анализа с целью нахождения ошибок синхронизации в Android-приложениях". Рук. к.ф.-м.н. Гайсарян С.С.
6. Бобок Олег Игоревич "Расширение функционала платформы Unihub" Рук. к.ф.-м.н. Гайсарян С.С.

Выпускные квалификационные работы на степень бакалавра

Группа 975

1. Жигулин Вячеслав Павлович "Исследование алгоритмов упаковки прямоугольников в несколько полос". Рук. д.ф.-м.н. Кузюрин Н.Н.
2. Колдаева Мария Владимировна "Нечеткое сравнение объектно-ориентированных данных в приложениях оптимистичсекой репликации". Рук. д.ф.-м.н. Семенов В.А.
3. Любецкий Ярослав Владимирович "Изучение свойств случайных графов, связанных с моделями социальных сетей". Рук. д.ф.-м.н. Кузюрин Н.Н.
4. Михайлов Евгений Игоревич "Минимизация накладных расходов на выполнение операций сетевого ввода-вывода в системе защиты Севигатор". Рук. к.ф.-м.н. Пакулин Н.В.
5. Остапенко Максим Романович "Оптимизация времени доступа к защищенной файловой системе в системе защиты Севигатор". Рук. к.ф.-м.н. Пакулин Н.В.
6. Щепетков Илья Викторович "Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов". Рук. д.ф.-м.н. Петренко А.К.
7. Дробышевский Михаил Дмитриевич "Методы выбора наиболее информативного локального контекста для разрешения лексической многозначности" Рук. к.ф.-м.н. Турдаков Д.Ю.