Новости
07 Декабря, 2024
Прощание с академиком Е.П. Велиховым
06 Декабря, 2024
Опрос Министерства науки и высшего образования Российской Федерации
24 Сентября, 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]