Новости
26 Сентября, 2024
Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций
24 Сентября, 2024
Приглашаем принять участие в Открытой конференции ИСП РАН
19 Сентября, 2024
Открыт приём заявок на премию «За верность науке»
Темы выпускных работ за 2013 год
Магистерские диссертации
Группа 775
1. Каушан Вадим Владимирович "Группировка функций, восстановленных из бинарного кода" Рук. к.ф.-м.н. Гайсарян С.С.2. Корчагин Василий Павлович "Разработка оптимизации предвыборки массивов в циклах в компиляторной инфраструктуре LLVM" Рук. к.ф.-м.н. Гайсарян С.С.
3. Минин Никита Вадимович "Разработка метода статического анализа кода с использованием охраняющих выражений" Рук. к.ф.-м.н. Гайсарян С.С.
4. Петрищев Константин Сергеевич "Глобальное планирование движения в 3D сценах на основе топологических карт" Рук. д.ф.-м.н. Семенов В.А.
5. Степанян Ваан Сейранович "Применение динамического анализа с целью нахождения ошибок синхронизации в Android-приложениях". Рук. к.ф.-м.н. Гайсарян С.С.
6. Бобок Олег Игоревич "Расширение функционала платформы Unihub" Рук. к.ф.-м.н. Гайсарян С.С.
Выпускные квалификационные работы на степень бакалавра
Группа 975
1. Жигулин Вячеслав Павлович "Исследование алгоритмов упаковки прямоугольников в несколько полос". Рук. д.ф.-м.н. Кузюрин Н.Н.2. Колдаева Мария Владимировна "Нечеткое сравнение объектно-ориентированных данных в приложениях оптимистичсекой репликации". Рук. д.ф.-м.н. Семенов В.А.
3. Любецкий Ярослав Владимирович "Изучение свойств случайных графов, связанных с моделями социальных сетей". Рук. д.ф.-м.н. Кузюрин Н.Н.
4. Михайлов Евгений Игоревич "Минимизация накладных расходов на выполнение операций сетевого ввода-вывода в системе защиты Севигатор". Рук. к.ф.-м.н. Пакулин Н.В.
5. Остапенко Максим Романович "Оптимизация времени доступа к защищенной файловой системе в системе защиты Севигатор". Рук. к.ф.-м.н. Пакулин Н.В.
6. Щепетков Илья Викторович "Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов". Рук. д.ф.-м.н. Петренко А.К.
7. Дробышевский Михаил Дмитриевич "Методы выбора наиболее информативного локального контекста для разрешения лексической многозначности" Рук. к.ф.-м.н. Турдаков Д.Ю.