Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Темы выпускных работ за 2014 год
Магистерские диссертации
Группа 875
- Андрианов Павел Сергеевич "Метод поиска состояний гонок в компонентах ОС при помощи верификации моделей поведения ПО". Рук. к.ф.-м.н. Мутилин В.С.
- Бузун Назар Олегович "Распределенные алгоритмы поиска сообществ в социальных сетях большого размера". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Коршунов А.В.
- Захаров Илья Сергеевич "Методы модульной верификации ядра ОС Linux". Рук. к.ф.-м.н. Мутилин В.С.
- Матевосян Рипсиме Артаковна "Анализ метрик и отношений в программах на языках C/C++". Рук. к.ф.-м.н. Гайсарян С.С.
- Романеев Михаил Сергеевич "Поддержка комбинированного анализа бинарного кода программ, работающих на платформе Android/ARM". Рук. к.ф.-м.н. Гайсарян С.С.
- Савченко Валерий Валерьевич "Исследование и разработка алгоритма статического анализа для устранения вызовов виртуальных методов C++". Рук. к.ф.-м.н. Гайсарян С.С.
Выпускные квалификационные работы на степень бакалавра
Группа 075
- Бескровный Александр Вадимович "Исследование и разработка методов объединения и проверки точности транскриптомных сборок". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Борисенко О.Д.
- Гратинский Владимир Анатольевич "Верификация изменений в коде модулей ядра операционной системы Linux". Рук. к.ф.-м.н. Мутилин В.С.
- Колеснев Роман Владимирович "Операторная библиотека для математических вычислений". Рук. д.ф.-м.н. Аветисян А.И., научный консультант Краснов М.М.
- Поляков Сергей Андреевич "Разработка и реализация метода объединения инструкций в JIT-компиляторе языка JavaScript". Рук. к.ф.-м.н. Гайсарян С.С.
- Троицкий Алексей Михайлович "Средство описания поведения программно-аппаратных систем на базе языка AADL". Рук. к.ф.-м.н. Хорошилов А.В.
- Харченко Наталья Андреевна "Исследование и разработка методов запутывания кода для затруднения динамического анализа программ". Рук. к.ф.-м.н. Гайсарян С.С.
- Шестаков Павел Владимирович "Транслятор из языка Verilog в язык SMV". Рук. к.ф.-м.н. Камкин А.С.
- Широкова Елена Сергеевна "Автоматическое определение объектов авторской эмоциональной оценки в коротких сообщениях пользователей социальных сетей". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Майоров В.Д.
- Шушпанов Александр Вадимович "Построение объяснений дефектов программного кода, обнаруживаемых методом статического анализа". Рук. д.ф.-м.н. Иванников В.П., научный консультант Волков А.Е.
- Якупова Нелли Сергеевна "Моделирование отображения памяти ввода-вывода для верификации модулей ядра операционной системы Linux". Рук. к.ф.-м.н. Хорошилов А.В.
- Никомаров Сергей Евгеньевич "Распределенная генерация случайного графа". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Пастухов Р.К.
- Соколова Евгения Александровна "Автоматическое определение распространителей спам-сообщений среди пользователей социальной сети Twitter". Рук. к.ф.-м.н. Турдаков Д.Ю., научный консультант Коршунов А.В.