Новости
26 Сентября, 2024
Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций
24 Сентября, 2024
Приглашаем принять участие в Открытой конференции ИСП РАН
19 Сентября, 2024
Открыт приём заявок на премию «За верность науке»
Темы выпускных работ за 2010 год
Магистерские диссертации
Группа 475
1. Вяцкова Юлия Алексеевна, "Базы данных для крупных научных проектов". Рук. д.т.н. Кузнецов С.Д.
2. Кощеева Ольга Сергеевна, "Исследование и разработка методов повышения разнородности списков рекомендаций для систем коллаборативной фильтрации". Рук. к.ф.-м.н. Турдаков Д.Ю.
3. Новиков Евгений Михайлович, "Применение аспектно-ориентированного подхода для верификации программ на языке Си". Рук. к.ф.-м.н. Рубанов В.В.
4. Смолов Сергей Александрович, "Автоматизация разработки адаптеров для тестирования систем с обменом сообщениями". Рук. д.ф.-м.н. Петренко А.К.
5. Третьяков Андрей Вадимович, "Автоматизация составления расписаний для систем реального времени". Рук. к.ф.-м.н. Рубанов В.В.
6. Швед Павел Евгеньевич, "Статическая верификация операций с конечными множествами в программах на языке С". Рук. к.ф.-м.н. Рубанов В.В.
Выпускные квалификационные работы на степень бакалавра
Группа 675
1. Путюнина Ольга Борисовна, «Автоматизированная система непрерывного регрессионного тестирования программного обеспечения». Рук. к.ф.-м.н. Рубанов В.В.
2. Рындин Максим Геннадиевич, «Динамический анализ бинарного кода». Рук. к.ф.-м.н. Гайсарян С.С.
3. Маркин Юрий Витальевич, «Обобщение формата сообщений». Рук. к.ф.-м.н. Падарян В.А.
4. Прохоров Андрей Анатольевич, «Анализ совместимости Java приложений с различными средами исполнения Java». Рук. к.ф.-м.н. Рубанов В.В.
5. Толстов Константин Викторович, «Автоматизация тестирования PHP-приложений, работающих с базой данных». Рук. к.ф.-м.н. Рубанов В.В.
6. Лошков Дмитрий Игоревич, «Планирование звена данных в беспроводных сетях связи». Рук. д.ф.-м.н. Кузюрин Н.Н.
7. Сергеев Константин Владимирович, «Криптосистема Айтаи-Дворк». Рук. к.ф.-м.н. Шокуров А.В.
8. Марковцев Вадим Анатольевич, «Модификация оптимизирующих преобразований компилятора LLVM на основе суперблоков». Рук. к.ф.-м.н. Гайсарян С.С.
9. Щетинин Евгений Игоревич, EN: "Development and implementation of unrolled loops' trace detection algorithms", RU: "Разработка и реализация алгоритмов выявления развернутых циклов в трассе", UA: "Розробка та реал зац я алгоритм в виявлення розгорнутих цикл в у трас". Рук. к.ф.-м.н. Гайсарян С.С.
[2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006] [2006-2007]
[2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013] [2013-2014]