Практики и НИР — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Результаты практик)
(→‎Результаты практик)
Строка 37: Строка 37:
 
|style="height:35px; " |Белова Татьяна
 
|style="height:35px; " |Белова Татьяна
 
|style="height:35px; " |Близнец Иван
 
|style="height:35px; " |Близнец Иван
−
|style="height:35px; " |[[Медиа:Belova_3MIT_fall2017.pdf|Улучшенный алгоритм для (n,3)-MAX-SAT]]
+
|style="height:35px; " |[[Медиа:Belova_3MIT_fall2017.pdf|(n, 3)-MAX-SAT]]
 
|style="height:35px; " |
 
|style="height:35px; " |
 
|-
 
|-
 
|style="height:40px; " |Богомолов Егор
 
|style="height:40px; " |Богомолов Егор
−
|style="height:40px; " |Мелешко Дмитрий
+
|style="height:40px; " |Брыксин Тимофей
−
|style="height:40px; " |[[Медиа:Bogomolov_3MIT_fall2017.pdf|Выравнивание последователþностей на графы метагеномных сборок]]
+
|style="height:40px; " |[[Медиа:Bogomolov_3MIT_fall2017.pdf|Определение программистов с одинаковым стилем кода]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Веселов Иван
 
|style="height:40px; " |Веселов Иван
−
|style="height:40px; " |Рассохин Владислав
+
|style="height:40px; " |Брыксин Тимофей
−
|style="height:40px; " |[[Медиа:Veselov_3MIT_fall2017.pdf|Улучшение поддержки языка Windows Batch Scripting (.cmd/.bat) в IntelliJ-based IDEs]]
+
|style="height:40px; " |[[Медиа:Veselov_3MIT_fall2017.pdf|Обнаружение плагиата в программном коде]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Винниченко Максим
 
|style="height:40px; " |Винниченко Максим
−
|style="height:40px; " |Шлемов Александр
+
|style="height:40px; " |Антипов Дмитрий
−
|style="height:40px; " |[[Медиа:Vinnichenko_3MIT_fall2017.pdf|Speed-up VJ Finder]]
+
|style="height:40px; " |[[Медиа:Vinnichenko_3MIT_fall2017.pdf|Corrector 2.1]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Гусев Андрей
 
|style="height:40px; " |Гусев Андрей
−
|style="height:40px; " |Вяткина Кира
+
|style="height:40px; " |Шпильман Алексей
−
|style="height:40px; " |[[Медиа:Gusev_3MIT_fall2017.pdf|Анализ возможностей применения top-down методов деконволюции к данным bottom-up масс-спектрометрии высокого разрешения]]
+
|style="height:40px; " |[[Медиа:Gusev_3MIT_fall2017.pdf|Мультицелевой генетический алгоритм для оптимизации модели клеточного пространства]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Жидков Николай
 
|style="height:40px; " |Жидков Николай
−
|style="height:40px; " |Служаев Евгений
+
|style="height:40px; " |Солозобов Андрей
−
|style="height:40px; " |[[Медиа:Zhidkov_3MIT_fall2017.pdf|Aircraft conflict resolution]]
+
|style="height:40px; " |[[Медиа:Zhidkov_3MIT_fall2017.pdf|Улучшение системы нотификаций в проекте “Реактор”]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Кайсин Илья
 
|style="height:40px; " |Кайсин Илья
−
|style="height:40px; " |Подхалюзин Александр
+
|style="height:40px; " |Елагин Кирилл
−
|style="height:40px; " |[[Медиа:Kaysin_3MIT_fall2017.pdf|Распределенный статистический анализ]]
+
|style="height:40px; " |[[Медиа:Kaysin_3MIT_fall2017.pdf|Вывод второго закона для функтора в Haskell из первого с помощью свободной теоремы]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Кощенко Екатерина
 
|style="height:40px; " |Кощенко Екатерина
−
|style="height:40px; " |Баталов Евгений
+
|style="height:40px; " |Кураленок Игорь
−
|style="height:40px; " |[[Медиа:Koschenko_3MIT_fall2017.pdf|HDFS crash tests]]
+
|style="height:40px; " |[[Медиа:Koschenko_3MIT_fall2017.pdf|Выделение фрагментов html документа]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Лобанов Артем
 
|style="height:40px; " |Лобанов Артем
 
|style="height:40px; " |Брыксин Тимофей
 
|style="height:40px; " |Брыксин Тимофей
−
|style="height:40px; " |[[Медиа:Lobanov_3MIT_fall2017.pdf|Прогнозирование ошибок методами машинного обучения]]
+
|style="height:40px; " |[[Медиа:Lobanov_3MIT_fall2017.pdf|Кластеризация ошибок в программном коде]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Плющенко Даниил
 
|style="height:40px; " |Плющенко Даниил
−
|style="height:40px; " |Горшков Юрий
+
|style="height:40px; " |Тимофеев Антон <br /> Копелиович Сергей
−
|style="height:40px; " |[[Медиа:Pluschenko_3MIT_fall2017.pdf|Анализ ошибок SPAdes]]
+
|style="height:40px; " |[[Медиа:Pluschenko_3MIT_fall2017.pdf|Составление расписания]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Сазанович Никита
 
|style="height:40px; " |Сазанович Никита
−
|style="height:40px; " |Козлов Андрей
+
|style="height:40px; " |Брыксин Тимофей
−
|style="height:40px; " |[[Медиа:Sazanovich_3MIT_fall2017.pdf|XML literals support in Scala Plugin]]
+
|style="height:40px; " |[[Медиа:Sazanovich_3MIT_fall2017.pdf|IntelliJ IDEA plugin для поиска релевантных дискуссий с Q&A сайтов]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Свидченко Олег
 
|style="height:40px; " |Свидченко Олег
−
|style="height:40px; " |Брыксин Тимофей
+
|style="height:40px; " |Kudenko Daniel
−
|style="height:40px; " |[[Медиа:Svidchenko_3MIT_fall2017.pdf|Анализ программного кода методами машинного обучения]]
+
|style="height:40px; " |[[Медиа:Svidchenko_3MIT_fall2017.pdf|Исследование возможностей адаптации агентов обучения с подкреплением на примере игры Asteroids]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Смирнов Даниил
 
|style="height:40px; " |Смирнов Даниил
−
|style="height:40px; " |Москвин Денис
+
|style="height:40px; " |Кононенко Василий
−
|style="height:40px; " |[[Медиа:Smirnov_3MIT_fall2017.pdf|Население типов в просто типизированном лямбда-исчислении]]
+
|style="height:40px; " |[[Медиа:Smirnov_3MIT_fall2017.pdf|Mapbox GL JS based chart]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Софронова Анастасия
 
|style="height:40px; " |Софронова Анастасия
 
|style="height:40px; " |Соколов Дмитрий
 
|style="height:40px; " |Соколов Дмитрий
−
|style="height:40px; " |[[Медиа:Sofronova_3MIT_fall2017.pdf|Оценки на размер доказательств для невыполнимых формул, кодирующих задачу о совершенном паросочетании]]
+
|style="height:40px; " |[[Медиа:Sofronova_3MIT_fall2017.pdf|Верхние оценки на размер dag-like коммуникационных протоколов]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Тонких Андрей
 
|style="height:40px; " |Тонких Андрей
−
|style="height:40px; " |Мальковский Николай
+
|style="height:40px; " |Кузьмин Михаил
−
|style="height:40px; " |[[Медиа:Tonkikh_3MIT_fall2017.pdf|Average TimeSync: a consensus-based protocol for time synchronization in wireless sensor networks]]
+
|style="height:40px; " |[[Медиа:Tonkikh_3MIT_fall2017.pdf|Packer Plugin for VMware vSphere]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Федорова Анна
 
|style="height:40px; " |Федорова Анна
−
|style="height:40px; " |Вяткина Кира
+
|style="height:40px; " |Шпильман Алексей
−
|style="height:40px; " |[[Медиа:Fedorova_3MIT_fall2017.pdf|Выявление новых изоформ токсичных протеинов из протеома ядовитых змей]]
+
|style="height:40px; " |[[Медиа:Fedorova_3MIT_fall2017.pdf|Разработка библиотеки для моделирования большого количества внутриклеточных частиц с использованием GPU]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Шавкунов Михаил
 
|style="height:40px; " |Шавкунов Михаил
−
|style="height:40px; " |Брыксин Тимофей
+
|style="height:40px; " |Служаев Евгений
−
|style="height:40px; " |[[Медиа:Shavkunov_3MIT_fall2017.pdf|Отображение свойств элементов на диаграмме в Web modeling project]]
+
|style="height:40px; " |[[Медиа:Shavkunov_3MIT_fall2017.pdf|Drone server]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
 
|style="height:40px; " |Щербин Егор
 
|style="height:40px; " |Щербин Егор
−
|style="height:40px; " |Мелешко Дмитрий
+
|style="height:40px; " |Hosein Mohimani <br /> Alexey Gurevich
−
|style="height:40px; " |[[Медиа:Scherbin_3MIT_fall2017.pdf|Алгоритмы для поиска полиморфизмов в графах геномных сборок]]
+
|style="height:40px; " |[[Медиа:Scherbin_3MIT_fall2017.pdf|Analyzing patterns of co-occurence between metabolomics and metagenomics features of human microbiome]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-

Версия 19:16, 1 марта 2018

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

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

Результаты практик, осень 2017-го года
Студент Руководитель Тема практики Материалы
3 курс
Белова Татьяна Близнец Иван (n, 3)-MAX-SAT
Богомолов Егор Брыксин Тимофей Определение программистов с одинаковым стилем кода
Веселов Иван Брыксин Тимофей Обнаружение плагиата в программном коде
Винниченко Максим Антипов Дмитрий Corrector 2.1
Гусев Андрей Шпильман Алексей Мультицелевой генетический алгоритм для оптимизации модели клеточного пространства
Жидков Николай Солозобов Андрей Улучшение системы нотификаций в проекте “Реактор”
Кайсин Илья Елагин Кирилл Вывод второго закона для функтора в Haskell из первого с помощью свободной теоремы
Кощенко Екатерина Кураленок Игорь Выделение фрагментов html документа
Лобанов Артем Брыксин Тимофей Кластеризация ошибок в программном коде
Плющенко Даниил Тимофеев Антон
Копелиович Сергей 		Составление расписания
Сазанович Никита Брыксин Тимофей IntelliJ IDEA plugin для поиска релевантных дискуссий с Q&A сайтов
Свидченко Олег Kudenko Daniel Исследование возможностей адаптации агентов обучения с подкреплением на примере игры Asteroids
Смирнов Даниил Кононенко Василий Mapbox GL JS based chart
Софронова Анастасия Соколов Дмитрий Верхние оценки на размер dag-like коммуникационных протоколов
Тонких Андрей Кузьмин Михаил Packer Plugin for VMware vSphere
Федорова Анна Шпильман Алексей Разработка библиотеки для моделирования большого количества внутриклеточных частиц с использованием GPU
Шавкунов Михаил Служаев Евгений Drone server
Щербин Егор Hosein Mohimani
Alexey Gurevich 		Analyzing patterns of co-occurence between metabolomics and metagenomics features of human microbiome
5 курс
Беляев Станислав Шпильман Алексей Program Synthesis
Бойкий Дмитрий Шпильман Алексей Cell Classification
Бугакова Надежда Кураленок Игорь Жадные регионы
Валин Глеб Коротаев Кирилл Оптимизация вычисления кодов в Acronis Storage под ARM
Кравченко Дмитрий Коротаев Кирилл Acronis, планировщик корутин
Кравченко Юрий Березун Даниил Суперкомпилятор
Ребрик Юрий Кураленок Игорь Лингвистическая модель
Розплохас Дмитрий Булычев Дмитрий Борьба с расходимостью реляционных программ
Смирнов Петр Соколов Дмитрий Монотонная интерполяция для задачи BPHP
Степанов Всеволод Кураленок Игорь Обучение вероятностных конечных автоматов
Суворов Егор Брыксин Тимофей GUI для предобработки данных
Третьякова Елизавета Кузьмин Михаил Packer Plugin for VMware vSphere
Черникова Ольга Пржибельский Андрей Построение графа связей геномных последовательностей
Бегунков Павел Баталов Евгений 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
Результаты практик, лето 2017-го года
Студент Руководитель Тема практики Материалы
6 курс
Бегунков Павел Коротаев Кирилл RDMA over InfiniBand
Доронин Олег Шполянский Юрий Анализатор динамических аллокация в С++
Ёров Собир Рассохин Владислав Infrastructure as Code Testing Framework
Клейман Вадим Служаев Евгений
Шпильман Алексей
Куденко Дэниел 		Aircraft AI
Кольцов Михаил Ахин Марат Kotlin Fuzzer II
Кравцун Андрей Федотов А. Уточнение контуров зданий методом активных контуров
Кручинин Дмитрий Кураленок Игорь Поиск контуров строений на спутниковых снимках
Малютина Екатерина Галанов Глеб Реализация ПО для роуминга абонентов GSM сети с динамическими подписками
Мухина Анжелика Ригачный Александр GPA
Симиютин Борис Полярный Николай Model Delighting
Тищенко Олеся Орлов Андрей SputnikWeb -- работа над графическим движком
Чернявский Михаил Исаев Валерий Vclang plugin for InteliJ Idea
Явейн Анна Подхалюзин Александр Корректор опечаток в статически типизированных языках программирования
Результаты практик, весна 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-дольных графах
Маркелов Александр Сергей Лысанов 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-плагине при помощи генераторов синтаксических анализаторов
Ялышева Наталья Сторожев Антон Визуализация метеоданных в наземной станции управления
Результаты практик, весна 2016-го года
Студент Руководитель Тема практики Материалы
1 курс
Белова Татьяна
Свидченко Олег 		Бугаев Богдан
Крыщенко Антон 		Детектор рептилоидов
Богомолов Егор Шлемов Александр Слияние парных ридов иммуносеквенирования
Винерский Глеб Шпильман Алексей Симулятор дорожного трафика
Винниченко Максим Шпильман Алексей Микротрубочки
Горохов Никита
Севастюк Дмитрий 		Новокрещенов Константин Голосовой переводчик под Windows Phone
Гусев Андрей Вяткина Кира Деконволюция масс-спектров, снятых с высоким разрешением по технологии bottom-up, при помощи программных инструментов, разработанных для случая top-down
Жидков Николай Ицыксон Дмитрий Теоретическая информатика, OBDD: рассаживаем кроликов по клеткам
Зуев Михаил Куликов Александр Приближенный алгоритм для MAX Asymmetric Travelling Salesman Problem
Кайсин Илья Куликов Александр Наименьшая общая надстрока
Кощенко Екатерина Вяткина Кира Локализация дисульфидных связей в молекулах антител
Лобанов Артем
Смирнов Даниил
Веселов Иван
Шевченко Илья 		Крыщенко Антон
Бугаев Богдан 		Детектор объектов
Плющенко Даниил Коробейников Антон Фильтр Блума
Привалихин Алексей Шпильман Алексей Распознавание клеток на изображении с помощью нейронной сети
Савон Юлия Кринкин Кирилл Мобильное приложение для Jenkins API
Сазанович Никита Карташов Никита Greater customization of GHCi prompt
Софронова Анастасия Ицыксон Дмитрий Деревья расщепления
Тонких Андрей Ордиян Андроник In rust we trust
Федорова Анна
Ольховский Илья 		Вяткина Кира Выявление мутантных форм белков в раковых клеточных линиях
Черепанов Валерий Шпильман Алексей Анализ клеток
Шавкунов Михаил Афанасьев Антон Система контроля версий
3 курс
Беляев Станислав Брыксин Тимофей
Шпильман Алексей 		Анализ и улучшение автоматической генерации патчей с помощью машинного обучения
Бойкий Дмитрий Шпильман Алексей Cell Classification
Бугакова Надежда Кураленов Игорь Оптимизация CART-дерева
Валин Глеб Баталов Евгений Реализация поддержки SOCK_PACKET сокетов в CRIU
Гайдашенко Анастасия Шпильман Алексей Прогнозирование траектории человека при движении в реальных условиях
Кравченко Дмитрий Фондаратов Валентин Практика в проекте RubyMine
Кравченко Юрий Шпильман Алексей NumCarPy
Лабутин Игорь Омельченко Александр Перечисление гамильтоновых циклов в полных n-дольных графах
Маркелов Александр Сергей Лысанов 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
Результаты практик, осень 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 Репозиторий
Источник — «http://mit.spbau.ru/sewiki/index.php?title=Практики_и_НИР&oldid=14870»