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

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Предлагаемые темы практик)
 
(не показано 8 промежуточных версий этого же участника)
Строка 2: Строка 2:
 
== Предлагаемые темы практик ==
 
== Предлагаемые темы практик ==
 
<div class="mw-collapsible-content">
 
<div class="mw-collapsible-content">
 +
* [[НИР_5SE_лето_2018|Темы практик, лето 2018-го года]]
 +
* [[НИР_5SE_весна_2018|Темы практик, весна 2018-го года]]
 +
* [[НИР_5SE_осень_2017|Темы практик, осень 2017-го года]]
 
* [[НИР_5SE_лето_2017|Темы практик, лето 2017-го года]]
 
* [[НИР_5SE_лето_2017|Темы практик, лето 2017-го года]]
 
* [[НИР_5SE_весна_2017|Темы практик, весна 2017-го года]]
 
* [[НИР_5SE_весна_2017|Темы практик, весна 2017-го года]]
Строка 22: Строка 25:
  
 
== Результаты практик ==
 
== Результаты практик ==
 +
 +
{| class="mw-collapsible mw-collapsed wikitable"
 +
!style="color: black; background-color: #ffffcc; width: 1400px;" colspan="4"|Результаты практик, осень 2017-го года
 +
|-
 +
!style="color: black; background-color: #ffffcc; width: 210px;"|Студент
 +
!style="color: black; background-color: #ffffcc; width: 210px"|Руководитель
 +
!style="color: black; background-color: #ffffcc; width: 400px;"|Тема практики
 +
!style="color: black; background-color: #ffffcc; width: 500px"|Материалы
 +
|-
 +
!colspan="4"|3 курс
 +
|-
 +
|style="height:35px; " |Белова Татьяна
 +
|style="height:35px; " |Близнец Иван
 +
|style="height:35px; " |[[Медиа:Belova_3MIT_fall2017.pdf|(n, 3)-MAX-SAT]]
 +
|style="height:35px; " |
 +
|-
 +
|style="height:40px; " |Богомолов Егор
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Bogomolov_3MIT_fall2017.pdf|Определение программистов с одинаковым стилем кода]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Веселов Иван
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Veselov_3MIT_fall2017.pdf|Обнаружение плагиата в программном коде]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Винниченко Максим
 +
|style="height:40px; " |Антипов Дмитрий
 +
|style="height:40px; " |[[Медиа:Vinnichenko_3MIT_fall2017.pdf|Corrector 2.1]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Гусев Андрей
 +
|style="height:40px; " |Шпильман Алексей
 +
|style="height:40px; " |[[Медиа:Gusev_3MIT_fall2017.pdf|Мультицелевой генетический алгоритм для оптимизации модели клеточного пространства]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Жидков Николай
 +
|style="height:40px; " |Солозобов Андрей
 +
|style="height:40px; " |[[Медиа:Zhidkov_3MIT_fall2017.pdf|Улучшение системы нотификаций в проекте “Реактор”]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кайсин Илья
 +
|style="height:40px; " |Елагин Кирилл
 +
|style="height:40px; " |[[Медиа:Kaysin_3MIT_fall2017.pdf|Вывод второго закона для функтора в Haskell из первого с помощью свободной теоремы]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кощенко Екатерина
 +
|style="height:40px; " |Кураленок Игорь
 +
|style="height:40px; " |[[Медиа:Koschenko_3MIT_fall2017.pdf|Выделение фрагментов html документа]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Лобанов Артем
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Lobanov_3MIT_fall2017.pdf|Кластеризация ошибок в программном коде]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Плющенко Даниил
 +
|style="height:40px; " |Тимофеев Антон <br /> Копелиович Сергей
 +
|style="height:40px; " |[[Медиа:Pluschenko_3MIT_fall2017.pdf|Составление расписания]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Сазанович Никита
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Sazanovich_3MIT_fall2017.pdf|IntelliJ IDEA plugin для поиска релевантных дискуссий с Q&A сайтов]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Свидченко Олег
 +
|style="height:40px; " |Kudenko Daniel
 +
|style="height:40px; " |[[Медиа:Svidchenko_3MIT_fall2017.pdf|Исследование возможностей адаптации агентов обучения с подкреплением на примере игры Asteroids]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Смирнов Даниил
 +
|style="height:40px; " |Кононенко Василий
 +
|style="height:40px; " |[[Медиа:Smirnov_3MIT_fall2017.pdf|Mapbox GL JS based chart]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Софронова Анастасия
 +
|style="height:40px; " |Соколов Дмитрий
 +
|style="height:40px; " |[[Медиа:Sofronova_3MIT_fall2017.pdf|Верхние оценки на размер dag-like коммуникационных протоколов]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Тонких Андрей
 +
|style="height:40px; " |Кузьмин Михаил
 +
|style="height:40px; " |[[Медиа:Tonkikh_3MIT_fall2017.pdf|Packer Plugin for VMware vSphere]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Федорова Анна
 +
|style="height:40px; " |Шпильман Алексей
 +
|style="height:40px; " |[[Медиа:Fedorova_3MIT_fall2017.pdf|Разработка библиотеки для моделирования большого количества внутриклеточных частиц с использованием GPU]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Шавкунов Михаил
 +
|style="height:40px; " |Служаев Евгений
 +
|style="height:40px; " |[[Медиа:Shavkunov_3MIT_fall2017.pdf|Drone server]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Щербин Егор
 +
|style="height:40px; " |Hosein Mohimani <br /> Alexey Gurevich
 +
|style="height:40px; " |[[Медиа:Scherbin_3MIT_fall2017.pdf|Analyzing patterns of co-occurence between metabolomics and metagenomics features of human microbiome]]
 +
|style="height:40px; " |
 +
|-
 +
!colspan="4"|5 курс
 +
|-
 +
|style="height:35px; " |Голышев Роман
 +
|style="height:35px; " |Науменко Евгений
 +
|style="height:35px; " |[[Медиа:Golyshev_5SE_fall2017.pdf|Автоматизация рефакторинга скриптов рабочих процессов в YouTrack]]
 +
|style="height:35px; " |
 +
|-
 +
|style="height:40px; " |Горячева Валерия
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Goryacheva_5SE_fall2017.pdf|Duckietown Duckiebot + RPLIDAR + SLAM]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Гостевский Дмитрий
 +
|style="height:40px; " |Kudenko Daniel
 +
|style="height:40px; " |[[Медиа:Gostevskiy_5SE_fall2017.pdf|Vassal Project]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Егоров Антон
 +
|style="height:40px; " |Полярный Николай
 +
|style="height:40px; " |[[Медиа:Egorov_5SE_fall2017.pdf|Fiducial markers]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Зубаков Алексей
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Zubakov_5SE_fall2017.pdf|Ground Truth Builder]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Калинин Владислав
 +
|style="height:40px; " |Кураленок Игорь
 +
|style="height:40px; " |[[Медиа:Kalinin_5SE_fall2017.pdf|Алгоритм Q-learning, применительно к задаче исследования случайного лабиринта]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кузнецов Александр
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Kuznetsov_5SE_fall2017.pdf|Анализ сложности задач на Stepik по условию и коду решения]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Лапко Данила
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Lapko_5SE_fall2017.pdf|Duckietown. Калибровка цвета]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Макеев Владимир
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Makeev_5SE_fall2017.pdf|Duckietown. Simulation in Gazebo]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Мурычева Наталья
 +
|style="height:40px; " |Григорьев Семен
 +
|style="height:40px; " |[[Медиа:Murycheva_5SE_fall2017.pdf|Анализ алгоритма приближенного умножения матриц]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Никулин Даниил
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Nikulin_5SE_fall2017.pdf|Duckietown. Объезд препятствий]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Новожилов Дмитрий
 +
|style="height:40px; " |Саввинов Дмитрий
 +
|style="height:40px; " |[[Медиа:Novozhilov_5SE_fall2017.pdf|Nonsource Comments]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Орищенко Александра
 +
|style="height:40px; " |Заславский Марк
 +
|style="height:40px; " |[[Медиа:Orischenko_5SE_fall2017.pdf|Генераторы задач «NoSQL introduction»]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:35px; " |Стребежев Игорь
 +
|style="height:35px; " |Москвин Денис
 +
|style="height:35px; " |[[Медиа:Strebezhev_5SE_fall2017.pdf|Население типов в системах λ→ и λ∩]]
 +
|style="height:35px; " |
 +
|-
 +
|style="height:40px; " |Халанский Дмитрий
 +
|style="height:40px; " |Исаев Валерий
 +
|style="height:40px; " |[[Медиа:Halanskiy_5SE_fall2017.pdf|Представление лямбда-термов через номинальные множества на языке vclang]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Чернышев Ярослав
 +
|style="height:40px; " |Kudenko Daniel
 +
|style="height:40px; " |[[Медиа:Chernyshev_5SE_fall2017.pdf|CROWD-SOURCED AI]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Шеметова Екатерина
 +
|style="height:40px; " |Григорьев Семен
 +
|style="height:40px; " |[[Медиа:Shemetova_5SE_fall2017.pdf|Использование алгоритма Охотина для синтаксического анализа графов]]
 +
|style="height:40px; " |
 +
|}
  
 
{| class="mw-collapsible mw-collapsed wikitable"
 
{| class="mw-collapsible mw-collapsed wikitable"
Строка 229: Строка 420:
 
|style="height:40px; " |Березун Даниил
 
|style="height:40px; " |Березун Даниил
 
|style="height:40px; " |[[Медиа:KravchenkoYu_3MIT_spring2017.pdf|Суперкомпилятор]]
 
|style="height:40px; " |[[Медиа:KravchenkoYu_3MIT_spring2017.pdf|Суперкомпилятор]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Малышева Александра
 +
|style="height:40px; " |Шпильман Алексей
 +
|style="height:40px; " |[[Медиа:Malysheva_3MIT_spring2017.pdf|Индивидуальный подбор весов в ансамбле алгоритмов автоматического машинного обучения]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
Строка 1350: Строка 1546:
 
|style="height:40px; " |Жарков Денис
 
|style="height:40px; " |Жарков Денис
 
|style="height:40px; " |Исакова Светлана
 
|style="height:40px; " |Исакова Светлана
−
|style="height:40px; " |Benchmarks for Kotlin
+
|style="height:40px; " |[[Медиа:Zharkov_5SE_spring2014.pdf|Benchmarks for Kotlin]]
 
|style="height:40px; " |[https://github.com/bintree/kotlin-jmh-benchmarks Бенчмарки] <br /> [https://github.com/bintree/kotlin-optimizer Анализ] <br /> [https://github.com/bintree/kotlin Форк котлина]
 
|style="height:40px; " |[https://github.com/bintree/kotlin-jmh-benchmarks Бенчмарки] <br /> [https://github.com/bintree/kotlin-optimizer Анализ] <br /> [https://github.com/bintree/kotlin Форк котлина]
 
|-
 
|-
 
|style="height:40px; " |Обедин Николай <br /> Карташов Никита
 
|style="height:40px; " |Обедин Николай <br /> Карташов Никита
−
|style="height:40px; " |
+
|style="height:40px; " |Кринкин Кирилл
−
|style="height:40px; " |
+
|style="height:40px; " |[[Медиа:ObedinKartashov_5SE_spring2014.pdf|Распределенное блочное устройство]]
 
|style="height:40px; " |
 
|style="height:40px; " |
 
|-
 
|-
Строка 1364: Строка 1560:
 
|-
 
|-
 
|style="height:40px; " |Афанасьев Антон <br /> Тураев Марат
 
|style="height:40px; " |Афанасьев Антон <br /> Тураев Марат
−
|style="height:40px; " |
+
|style="height:40px; " |Опейкин Александр
−
|style="height:40px; " |Roslyn Experiments
+
|style="height:40px; " |[[Медиа:AfanasevTuraev_5SE_spring2014.pdf|Roslyn Experiments]]
 
|style="height:40px; " |[https://github.com/Icemore/RoslynExperiments Ссылка на Github]
 
|style="height:40px; " |[https://github.com/Icemore/RoslynExperiments Ссылка на Github]
 
|-
 
|-

Текущая версия на 16:24, 25 мая 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 курс
Голышев Роман Науменко Евгений Автоматизация рефакторинга скриптов рабочих процессов в YouTrack
Горячева Валерия Кринкин Кирилл Duckietown Duckiebot + RPLIDAR + SLAM
Гостевский Дмитрий Kudenko Daniel Vassal Project
Егоров Антон Полярный Николай Fiducial markers
Зубаков Алексей Кринкин Кирилл Ground Truth Builder
Калинин Владислав Кураленок Игорь Алгоритм Q-learning, применительно к задаче исследования случайного лабиринта
Кузнецов Александр Брыксин Тимофей Анализ сложности задач на Stepik по условию и коду решения
Лапко Данила Кринкин Кирилл Duckietown. Калибровка цвета
Макеев Владимир Кринкин Кирилл Duckietown. Simulation in Gazebo
Мурычева Наталья Григорьев Семен Анализ алгоритма приближенного умножения матриц
Никулин Даниил Кринкин Кирилл Duckietown. Объезд препятствий
Новожилов Дмитрий Саввинов Дмитрий Nonsource Comments
Орищенко Александра Заславский Марк Генераторы задач «NoSQL introduction»
Стребежев Игорь Москвин Денис Население типов в системах λ→ и λ∩
Халанский Дмитрий Исаев Валерий Представление лямбда-термов через номинальные множества на языке vclang
Чернышев Ярослав Kudenko Daniel CROWD-SOURCED AI
Шеметова Екатерина Григорьев Семен Использование алгоритма Охотина для синтаксического анализа графов
Результаты практик, лето 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=15787»