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

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

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

Группа 875

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

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

Группа 075

1. Бескровный Александр Вадимович "Исследование и разработка методов объединения и проверки точности транскриптомных сборок". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Борисенко О.Д.
2. Гратинский Владимир Анатольевич "Верификация изменений в коде модулей ядра операционной системы Linux". Рук. к.ф.-м.н. Мутилин В.С.
3. Колеснев Роман Владимирович "Операторная библиотека для математических вычислений". Рук. д.ф.-м.н. Аветисян А.И., научный консультант Краснов М.М.
4. Поляков Сергей Андреевич "Разработка и реализация метода объединения инструкций в JIT-компиляторе языка JavaScript". Рук. к.ф.-м.н. Гайсарян С.С.
5. Троицкий Алексей Михайлович "Средство описания поведения программно-аппаратных систем на базе языка AADL". Рук. к.ф.-м.н. Хорошилов А.В.
6. Харченко Наталья Андреевна "Исследование и разработка методов запутывания кода для затруднения динамического анализа программ". Рук. к.ф.-м.н. Гайсарян С.С.
7. Шестаков Павел Владимирович "Транслятор из языка Verilog в язык SMV". Рук. к.ф.-м.н. Камкин А.С.
8. Широкова Елена Сергеевна "Автоматическое определение объектов авторской эмоциональной оценки в коротких сообщениях пользователей социальных сетей". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Майоров В.Д.
9. Шушпанов Александр Вадимович "Построение объяснений дефектов программного кода, обнаруживаемых методом статического анализа". Рук. д.ф.-м.н. Иванников В.П., научный консультант Волков А.Е.
10. Якупова Нелли Сергеевна "Моделирование отображения памяти ввода-вывода для верификации модулей ядра операционной системы Linux". Рук. к.ф.-м.н. Хорошилов А.В.
11. Никомаров Сергей Евгеньевич "Распределенная генерация случайного графа". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Пастухов Р.К.
12. Соколова Евгения Александровна "Автоматическое определение распространителей спам-сообщений среди пользователей социальной сети Twitter". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Коршунов А.В.