Практики и НИР

Предлагаемые темы практик

• Темы практик, лето 2017-го года
• Темы практик, весна 2017-го года
• Темы практик, осень 2016-го года
• Темы практик, весна 2016-го года
• Темы практик, осень 2015-го года
• Темы практик, лето 2015-го года
• Темы практик, весна 2015-го года
• Темы практик, осень 2014-го года
• Темы практик, весна 2014-го года
• Темы практик, осень 2013-го года
• Темы практик, лето 2013-го года
• Темы практик, весна 2013-го года
• Темы практик, осень 2012-го года
• Темы практик, лето 2012-го года
• Темы практик, осень 2011-го года
• Темы практик, весна 2011-го года

Результаты практик

Результаты практик, весна 2017-го года
Студент	Руководитель	Тема практики	Материалы
2 курс
Белова Татьяна	Близнец Иван	Улучшенный алгоритм для (n,3)-MAX-SAT
Богомолов Егор	Мелешко Дмитрий	Выравнивание последователþностей на графы метагеномных сборок
Веселов Иван	Рассохин Владислав	Улучшение поддержки языка Windows Batch Scripting (.cmd/.bat) в IntelliJ-based IDEs
Винниченко Максим Алферов Василий (1 курс)	Шлемов Александр	Speed-up VJ Finder
Горохов Никита	Мальковский Николай	Average TimeSync: a consensus-based protocol for time synchronization in wireless sensor networks
Гусев Андрей	Вяткина Кира	Анализ возможностей применения top-down методов деконволюции к данным bottom-up масс-спектрометрии высокого разрешения
Жидков Николай	Служаев Евгений	Aircraft conflict resolution
Кайсин Илья	Подхалюзин Александр	Распределенный статистический анализ
Кощенко Екатерина	Баталов Евгений	HDFS crash tests
Лобанов Артем	Брыксин Тимофей	Прогнозирование ошибок методами машинного обучения
Плющенко Даниил	Горшков Юрий	Анализ ошибок SPAdes
Сазанович Никита	Козлов Андрей	XML literals support in Scala Plugin
Свидченко Олег	Брыксин Тимофей	Анализ программного кода методами машинного обучения
Смирнов Даниил	Москвин Денис	Население типов в просто типизированном лямбда-исчислении
Софронова Анастасия	Соколов Дмитрий	Оценки на размер доказательств для невыполнимых формул, кодирующих задачу о совершенном паросочетании
Федорова Анна	Вяткина Кира	Выявление новых изоформ токсичных протеинов из протеома ядовитых змей
Шавкунов Михаил	Брыксин Тимофей	Отображение свойств элементов на диаграмме в Web modeling project
Щербин Егор	Мелешко Дмитрий	Алгоритмы для поиска полиморфизмов в графах геномных сборок
3 курс
Беляев Станислав	Шпильман Алексей	Program Synthesis
Бойкий Дмитрий	Шпильман Алексей	Cell Classification
Бугакова Надежда	Кураленок Игорь	Жадные регионы
Валин Глеб	Коротаев Кирилл	Оптимизация вычисления кодов в Acronis Storage под ARM
Кравченко Дмитрий	Коротаев Кирилл	Acronis, планировщик корутин
Кравченко Юрий	Березун Даниил	Суперкомпилятор
Ребрик Юрий	Кураленок Игорь	Лингвистическая модель
Розплохас Дмитрий	Булычев Дмитрий	Борьба с расходимостью реляционных программ
Смирнов Петр	Соколов Дмитрий	Монотонная интерполяция для задачи BPHP
Степанов Всеволод	Кураленок Игорь	Обучение вероятностных конечных автоматов
Суворов Егор	Брыксин Тимофей	GUI для предобработки данных
Третьякова Елизавета	Кузьмин Михаил	Packer Plugin for VMware vSphere
Черникова Ольга	Пржибельский Андрей	Построение графа связей геномных последовательностей
5 курс
Бегунков Павел	Баталов Евгений	CRIU: восстановление TCP соединений в закрытом состоянии & сохранение и восстановление file lease
Доронин Олег	Шполянский Юрий	Представление логов в виде графа для Pricing app
Ёров Собир	Мальковский Николай	Распределенные системы. Алгоритмы балансирования весов орграфа
Клейман Вадим	Шпильман Алексей	Learning for learning
Кольцов Михаил	Ахин Марат	KOTLIN FUZZER
Кравцун Андрей	SimLabs	Сlient-side vector tiles rendering
Кручинин Дмитрий	Кураленок Игорь	Деревья решений
Малютина Екатерина	Брыксин Тимофей	ToolBox для быстрого старта в ML
Мухина Анжелика	Кринкин Кирилл	TurtleBot + RPLIDAR
Симиютин Борис	Брыксин Тимофей	Detecting software defects using relational rules mining
Тищенко Олеся	Кринкин Кирилл	Duckietown
Чернявский Михаил	Ахин Марат	QuickCheck для Kotlin
Явейн Анна	Ахин Марат	Type providers for Kotlin

Результаты практик, осень 2016-го года
Студент	Руководитель	Тема практики	Материалы
2 курс (Java проекты)
Белова Татьяна Веселов Иван		AU Time Manager (ATUM)
Тонких Андрей Сазанович Никита		Blackout
3 курс
Беляев Станислав	Брыксин Тимофей Шпильман Алексей	Анализ и улучшение автоматической генерации патчей с помощью машинного обучения
Бойкий Дмитрий	Шпильман Алексей	Cell Classification
Бугакова Надежда	Кураленов Игорь	Оптимизация CART-дерева
Валин Глеб	Баталов Евгений	Реализация поддержки SOCK_PACKET сокетов в CRIU
Гайдашенко Анастасия	Шпильман Алексей	Прогнозирование траектории человека при движении в реальных условиях
Кравченко Дмитрий	Фондаратов Валентин	Практика в проекте RubyMine
Кравченко Юрий	Шпильман Алексей	NumCarPy
Лабутин Игорь	Омельченко Александр	Перечисление гамильтоновых циклов в полных n-дольных графах $K_{d,d,...,d}$
Маркелов Александр	Сергей Лысанов	Pnfs over ostor
Никонов Михаил	Пржибельский Андрей	Подбор оптимальных параметров rnaSPAdes для сборки транскрипотомов
Подгузов Никита	Daniel Kudenko	Применение RL в игре "Planet Wars"
Ребрик Юрий	Daniel Kudenko	Curriculum battles
Розплохас Дмитрий	Булычев Дмитрий	Оптимизация исполнения реляционных программ
Смирнов Петр	Соколов Дмитрий	Коммуникационные игры на графах
Степанов Всеволод	Кураленок Игорь	Обучение конечных автоматов
Суворов Егор		Cranberries. Machine Learning models serving system
Третьякова Елизавета	коротаев Кирилл	Оптимизация LSM-дерева на Go
Филатова Анастасия	Шпильман Алексей	Моделирование действий пилота с целью предсказания траектории движения самолета
Черникова Ольга	Пржибельский Андрей	Построение графа связей геномных последовательностей
5 курс
Бегунков Павел	Баталов Евгений	CRIU: сохранение и восстановление состояния OFD блокировок
Гардер Антон	Коротаев Кирилл	Реализация ARTful деревьев на C и Go
Дергун Карина	Брыксин Тимофей	Code smells detector for GitHub
Доронин Олег	Иготти Николай	Kotlin STM
Ерохина Елена	Зорин Кирилл	Подсистема визуализации данных
Ёров Собир	Шпильман Алексей	Предсказание результатов арбитражных судов с помощью методов машинного обучения
Клейман Вадим	Шпильман Алексей	Анализ текста нескольких авторов
Колесниченко Лариса	Брыксин Тимофей	Доработка графической подсистемы проекта Web Modeling Project
Кольцов Михаил	Калакуцкий Аркадий	STACKOVERFLOW MAP
Кручинин Дмитрий	Кураленок Игорь	CART деревья
Лапицкая Людмила	Шпильман Алексей	Learning for learning (Stepik)
Макеев Владимир	Лазаревич Андрей	Realtime video decoding in browser
Малютина Екатерина	Петров Захар	Object detection on aerial images
Мухина Анжелика	Петров Захар	Построение изогипс (структурных линий)
Симиютин Борис	Ахин Марат	Функциональный рефакторинг клонов (Плагин для IDEA)
Тищенко Олеся	Григорьев Семен	F# quotation to OpenCL translator
Чернявский Михаил	Фондаратов Валентин	Динамический вывод типов на основе статистики запусков для языка Ruby-2
Явейн Анна	Ахин Марат	Предсказание конфликтов при merge

Результаты практик, лето 2016-го года
Студент	Руководитель	Тема практики	Материалы
6 курс
Абрамов Иван	Романов Константин	ESMA importer, HTT Bookout
Акимов Евгений	Стрелковский Андрей	Персонализация ранжирования списка ассоциаций объектного ответа
Байдин Дмитрий	Герасимов	Автозапчасти
Бибаев Виталий	Ушаков Егор	Heap Walker in Java Debugger
Бочаров Федор	Юрченко Александр	Разработка системы инкрементальных вычислений
Васильев Роман	Подхалюзин Александр	Web приложение на Scala
Власов Святослав	Баталов Евгений	Протокол для резервного копирования в сетях с задержками и потерями пакетов
Гарифуллин Шамиль	Staikos Dmitrios	VIKTOR
Голованов Сергей	Служаев Евгений Шпильман Алексей	Автоматическая настройка усиления микрофона
Геллер Марк	Давыдова Мария	Peer-to-peer карточные игры
Жаворонков Эдгар	Исаев Валерий	Преобразование именованного представления термов в представление через индексы Де Брёйна
Курбанов Рауф	Шпильман Алексей	Классификация авторства коллаборативных текстов
Мордберг Антон	Калашников Дмитрий Толстиков Никита	Distributed System Scheduler
Пилюгин Кирилл	Праздников Кирилл	Разработка приложения CoSpaces для платформы GearVR
Поляков Семен	Корф Василий	Anomaly detection service
Чаркин Константин	Лавренко Анастасия	Auto synopsis (Stepik.org)
Шугаепов Ильнур	Козлов Андрей	Замена парсера Scala в Scala-плагине при помощи генераторов синтаксических анализаторов
Ялышева Наталья	Сторожев Антон	Визуализация метеоданных в наземной станции управления

Результаты практик, осень 2015-го года
Студент	Руководитель	Тема практики	Материалы
2 курс (Java проекты)
Беляев Станислав		Feed Aggregator
Бойкий Дмитрий		FootballStats
Бугакова Надежда, Кравченко Юрий		Android Controller
Валин Глеб		Тайное послание
Гайдашенко Анастасия Малышева Александра		Гонки
Гуцол Ксения, Дегтяренко Иван		Food Hunter
Лабутин Игорь, Старкова Анастасия		Financial Assistant
Лапшин Дмитрий, Степанов Всеволод		Война вирусов. Походовая онлайн-игра на платформе Android
Маркелов Александр		KP Suggestions
Никонов Михаил, Ребрик Юрий		OohReader
Пластинин Виталий		ToDoList App
Подгузов Никита, Степанов Владимир		HeadBall
Розплохас Дмитрий, Кравченко Дмитрий		Расписание занятий для АУ
Суворов Егор		Онлайн просмотр ленты Вконтакте
Черникова Ольга, Третьякова Елизавета		Catendar
5 курс
Абрамов Иван	Дмитриев Александр	Доработка драйвера EHCI хост-контроллера в RTOS NuttX
Акимов Евгений	Баталов Евгений	CRIU: восстановление дерева процессов в замороженном состоянии
Байдин Дмитрий Сташевский Леонид Ялышева Наталья	Жарков Денис	Приложение Shekel для взаиморасчетов с друзьями
Бибаев Виталий	Бугаев Богдан	Мобильное приложение для OpenCorpora.org
Бочаров Федор	Баталов Евгений	CRIU: дедупликация анонимной разделяемой памяти
Васильев Роман	Кринкин Кирилл	3D-Scanner with Kinect/LeapMotion
Власов Святослав	Баталов Евгений	CRIU: сохранение временных пользовательских файлов в дампе
Гарифуллин Шамиль	Вяххи Николай	Анализ просмотров видео Stepic.org
Геллер Марк	Антропова Мария	Snowball effect
Горбунов Егор	Кринкин Кирилл	Извлечение особых точек из изображений в рамках задачи SLAM
Жаворонков Эдгар	Карташов Никита	Отключение предупреждений компилятора в частях кода на языке Haskell
Козлов Сергей	Обедин Николай	Сервис оповещений об изменениях в репозитории на Github
Крутиков Андрей	Бугаев Богдан	Уточнение позиции объекта в пространстве на основе границ, выделенных на его изображении, с использованием трехмерной модели объекта
Курбанов Рауф	Вяххи Николай	Предсказание ухода слушателей MOOC курса на платформе Stepic
Пилюгин Кирилл	Праздников Кирилл	Визуализация рисования на песке
Мордберг Антон Поляков Семен	Ордиян Андроник	Стилизация фотографий под картину
Саввинов Дмитрий	Крыщенко Антон	Visual Puck Tracker
Серебро Андрей	Петров Захар	Разработка плагина для поддержки стереокалибровки в Agisoft PhotoScan
Степанов Алексей	Кринкин Кирилл	Linux device groups IO Scheduler
Чаркин Константин	Петров Захар	Стабилизация видео в реальном времени
Шугаепов Ильнур	Вербицкая Екатерина	Поддержка произвольных конечных автоматов в алгоритме синтаксического анализа регулярной аппроксимации кода на встроенных языках (YaccConstructor)

Результаты практик, весна 2015-го года
Студент	Руководитель	Тема практики	Материалы
1 курс
Беляев Станислав Степанов Владимир Пластинин Виталий	Кринкин Михаил	AngryBlock: Фильтрация новостей
Бугакова Надежда	Кринкин Кирилл	Kinect
Галеев Денис	Кринкин Кирилл	Broken build indicator
Гайдашенко Анастасия Малышева Александра	Кринкин Кирилл	Predictor: MindWave’s data analysis program
Лабутин Игорь	Дворкин Михаил	Система хранения и обработки онлайн-календарей
Маркелов Александр	Кринкин Михаил	Renderer
Никонов Михаил	Сафонова Яна	Кластеризация Хэмминг графа, построенного по данным секвенирования антител
Подгузов Никита Кравченко Дмитрий Бойкий Дмитрий	Пржибельский Андрей	Архивация FASTQ файлов
Старкова Анастасия	Дворкин Михаил	Распознавание объектов инфраструктуры на Google Maps
Степанов Всеволод	Копелиович Сергей	Работа с выпуклыми многоугольниками
Суворов Егор	Линский Евгений	Редактор схем с распознаванием
Третьякова Елизавета	Баталов Евгений	Разработка системы резервного копирования данных. Библиотека для работы с деревом ФС
5 курс
Александров Юрий	Вяххи Николай	Data Dashboard for Students
Веслогузова Александра	Тузова Екатерина	Управление пакетами в RPlugin
Кладов Алексей	Баталов Евгений	Поддержка сценариев в http бенчмарке httpress
Козлов Андрей Целовальников Сергей	Зайцев Андрей	UpSource Cloud-IDE
Лазаревич Андрей	Тузова Екатерина	Интерактивные графики для PyCharm
Москвитин Максим	Служаев Евгений	Aircraft landing problem
Павлюченко Денис Эдуардов Эдуард	Толстиков Никита Чумак Анастасия	Разработка инструмента для анализа социальных сетей
Сергеев Павел	Березун Даниил	Монадические парсер-комбинаторы на C++
Тищенко Дмитрий	Поляков Николай	Редактор RQL для APS Eclipse IDE
Юргин Павел	Поляков Николай	Исследование рынка полнотекстовых поисковых движков. Выбор поискового движка для doc.appstandard.org

Результаты практик, осень 2014-го года (5 курс)
Студент	Руководитель	Тема практики	Материалы
Александров Юрий	Кукушкин Владимир	Исследование "Сами мы не местные"
Веслогузова Александра Лазаревич Андрей Сергеев Павел Юргин Павел	Тузова Екатерина	Object Class Recognition
Вихарев Алексей Павлюченко Денис Малькевич Степан		Служба асессоров
Козлов Андрей	Зайцев Андрей	UpSource Cloud-IDE
Москвитин Максим	Подхалюзин Александр	Work with Scala code analyzer
Муратов Ф	Толмачев А	Анализ тональностей текстов на естественном языке
Тищенко Дмитрий	Курочкин Юрий	Сентиментальная разметка твитов
Фетцер Юрий		Освоение Ardrone 2.0
Целовальников Сергей	Баталов Евгений	Ultra fast web-server benchmark

Результаты практик, весна 2014-го года (5 курс)
Студент	Руководитель	Тема практики	Материалы
Бугаев Богдан Тураев Тимур	Краско Евгений	SPbAU Google Notifier	Ссылка на Github Сайт и приложение под OS X
Калакуцкий Аркадий Ворончихин Станислав	Кринкин Михаил	Surreal Tournament	Ссылка на Github
Бубнов Никита Коваленко Владимир	Щекотова Галина Кошкин Евгений	Bug Prediction	Ссылка на Github
Комаров Александр Хабибуллин Марат	Коровин Алексей	Chrome History Extension	Ссылка на Github Расширение в Chrome Web Store
Семён Атамась Екатерина Устюжанина Даниил Овчинников Антон Крыщенко	Кринкин Михаил	ReAUchievement	Приложение
Жарков Денис	Исакова Светлана	Benchmarks for Kotlin	Бенчмарки Анализ Форк котлина
Обедин Николай Карташов Никита
Цветков Алексей	Башоров Залим	Инлайн оптимизация для компилятора Kotlin в JavaScript	Ветка по задаче jsCode Ветка по задаче inline
Афанасьев Антон Тураев Марат		Roslyn Experiments	Ссылка на Github
Аманов Карим Лучихин Кирилл Ордиян Андроник	Кринкин Кирилл	Реализация 802.11s/PSM в NS-3	Репозиторий