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

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Предлагаемые темы практик)
(→‎Результаты практик)
Строка 24: Строка 24:
  
 
== Результаты практик ==
 
== Результаты практик ==
 +
 +
{| 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|Улучшение поддержки языка Windows Batch Scripting (.cmd/.bat) в IntelliJ-based IDEs]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Винниченко Максим
 +
|style="height:40px; " |Шлемов Александр
 +
|style="height:40px; " |[[Медиа:Vinnichenko_3MIT_fall2017.pdf|Speed-up VJ Finder]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Гусев Андрей
 +
|style="height:40px; " |Вяткина Кира
 +
|style="height:40px; " |[[Медиа:Gusev_3MIT_fall2017.pdf|Анализ возможностей применения top-down методов деконволюции к данным bottom-up масс-спектрометрии высокого разрешения]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Жидков Николай
 +
|style="height:40px; " |Служаев Евгений
 +
|style="height:40px; " |[[Медиа:Zhidkov_3MIT_fall2017.pdf|Aircraft conflict resolution]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кайсин Илья
 +
|style="height:40px; " |Подхалюзин Александр
 +
|style="height:40px; " |[[Медиа:Kaysin_3MIT_fall2017.pdf|Распределенный статистический анализ]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кощенко Екатерина
 +
|style="height:40px; " |Баталов Евгений
 +
|style="height:40px; " |[[Медиа:Koschenko_3MIT_fall2017.pdf|HDFS crash tests]]
 +
|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; " |Горшков Юрий
 +
|style="height:40px; " |[[Медиа:Pluschenko_3MIT_fall2017.pdf|Анализ ошибок SPAdes]]
 +
|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; " |
 +
|-
 +
|style="height:40px; " |Свидченко Олег
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Svidchenko_3MIT_fall2017.pdf|Анализ программного кода методами машинного обучения]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Смирнов Даниил
 +
|style="height:40px; " |Москвин Денис
 +
|style="height:40px; " |[[Медиа:Smirnov_3MIT_fall2017.pdf|Население типов в просто типизированном лямбда-исчислении]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Софронова Анастасия
 +
|style="height:40px; " |Соколов Дмитрий
 +
|style="height:40px; " |[[Медиа:Sofronova_3MIT_fall2017.pdf|Оценки на размер доказательств для невыполнимых формул, кодирующих задачу о совершенном паросочетании]]
 +
|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; " |
 +
|-
 +
|style="height:40px; " |Федорова Анна
 +
|style="height:40px; " |Вяткина Кира
 +
|style="height:40px; " |[[Медиа:Fedorova_3MIT_fall2017.pdf|Выявление новых изоформ токсичных протеинов из протеома ядовитых змей]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Шавкунов Михаил
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Shavkunov_3MIT_fall2017.pdf|Отображение свойств элементов на диаграмме в Web modeling project]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Щербин Егор
 +
|style="height:40px; " |Мелешко Дмитрий
 +
|style="height:40px; " |[[Медиа:Scherbin_3MIT_fall2017.pdf|Алгоритмы для поиска полиморфизмов в графах геномных сборок]]
 +
|style="height:40px; " |
 +
|-
 +
!colspan="4"|5 курс
 +
|-
 +
|style="height:35px; " |Беляев Станислав
 +
|style="height:35px; " |Шпильман Алексей
 +
|style="height:35px; " |[[Медиа:Belyaev_3MIT_spring2017.pdf|Program Synthesis]]
 +
|style="height:35px; " |
 +
|-
 +
|style="height:40px; " |Бойкий Дмитрий
 +
|style="height:40px; " |Шпильман Алексей
 +
|style="height:40px; " |[[Медиа:Boykiy_3MIT_spring2017.pdf|Cell Classification]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Бугакова Надежда
 +
|style="height:40px; " |Кураленок Игорь
 +
|style="height:40px; " |[[Медиа:Bugakova_3MIT_spring2017.pdf|Жадные регионы]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Валин Глеб
 +
|style="height:40px; " |Коротаев Кирилл
 +
|style="height:40px; " |[[Медиа:Valin_3MIT_spring2017.pdf|Оптимизация вычисления кодов в Acronis Storage под ARM]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кравченко Дмитрий
 +
|style="height:40px; " |Коротаев Кирилл
 +
|style="height:40px; " |[[Медиа:KravchenkoD_3MIT_spring2017.pdf|Acronis, планировщик корутин]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кравченко Юрий
 +
|style="height:40px; " |Березун Даниил
 +
|style="height:40px; " |[[Медиа:KravchenkoYu_3MIT_spring2017.pdf|Суперкомпилятор]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Ребрик Юрий
 +
|style="height:40px; " |Кураленок Игорь
 +
|style="height:40px; " |[[Медиа:Rebryk_3MIT_spring2017.pdf|Лингвистическая модель]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Розплохас Дмитрий
 +
|style="height:40px; " |Булычев Дмитрий
 +
|style="height:40px; " |[[Медиа:Rozplokhas_3MIT_spring2017.pdf|Борьба с расходимостью реляционных программ]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Смирнов Петр
 +
|style="height:40px; " |Соколов Дмитрий
 +
|style="height:40px; " |[[Медиа:Smirnov_3MIT_spring2017.pdf|Монотонная интерполяция для задачи BPHP]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Степанов Всеволод
 +
|style="height:40px; " |Кураленок Игорь
 +
|style="height:40px; " |[[Медиа:Stepanov_3MIT_spring2017.pdf|Обучение вероятностных конечных автоматов]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Суворов Егор
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Suvorov_3MIT_spring2017.pdf|GUI для предобработки данных]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Третьякова Елизавета
 +
|style="height:40px; " |Кузьмин Михаил
 +
|style="height:40px; " |[[Медиа:Tretyakova_3MIT_spring2017.pdf|Packer Plugin for VMware vSphere]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Черникова Ольга
 +
|style="height:40px; " |Пржибельский Андрей
 +
|style="height:40px; " |[[Медиа:Chernikova_3MIT_spring2017.pdf|Построение графа связей геномных последовательностей]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:35px; " |Бегунков Павел
 +
|style="height:35px; " |Баталов Евгений
 +
|style="height:35px; " |[[Медиа:Begunkov_5MIT_spring2017.pdf|CRIU: восстановление TCP соединений в закрытом состоянии & сохранение и восстановление file lease]]
 +
|style="height:35px; " |
 +
|-
 +
|style="height:40px; " |Доронин Олег
 +
|style="height:40px; " |Шполянский Юрий
 +
|style="height:40px; " |[[Медиа:Doronin_5MIT_spring2017.pdf|Представление логов в виде графа для Pricing app]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Ёров Собир
 +
|style="height:40px; " |Мальковский Николай
 +
|style="height:40px; " |[[Медиа:Yorov_5MIT_spring2017.pdf|Распределенные системы. Алгоритмы балансирования весов орграфа]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Клейман Вадим
 +
|style="height:40px; " |Шпильман Алексей
 +
|style="height:40px; " |[[Медиа:Kleyman_5MIT_spring2017.pdf|Learning for learning]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кольцов Михаил
 +
|style="height:40px; " |Ахин Марат
 +
|style="height:40px; " |[[Медиа:Koltsov_5MIT_spring2017.pdf|KOTLIN FUZZER]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кравцун Андрей
 +
|style="height:40px; " |SimLabs
 +
|style="height:40px; " |[[Медиа:Kravtsun_5MIT_spring2017.pdf|Сlient-side vector tiles rendering]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Кручинин Дмитрий
 +
|style="height:40px; " |Кураленок Игорь
 +
|style="height:40px; " |[[Медиа:Kruchinin_5MIT_spring2017.pdf|Деревья решений]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Малютина Екатерина
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Malyutina_5MIT_spring2017.pdf|ToolBox для быстрого старта в ML]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Мухина Анжелика
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Muhina_5MIT_spring2017.pdf|TurtleBot + RPLIDAR]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Симиютин Борис
 +
|style="height:40px; " |Брыксин Тимофей
 +
|style="height:40px; " |[[Медиа:Simiyutin_5MIT_spring2017.pdf|Detecting software defects using relational rules mining]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Тищенко Олеся
 +
|style="height:40px; " |Кринкин Кирилл
 +
|style="height:40px; " |[[Медиа:Tischenko_5MIT_spring2017.pdf|Duckietown]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Чернявский Михаил
 +
|style="height:40px; " |Ахин Марат
 +
|style="height:40px; " |[[Медиа:Chernyavskiy_5MIT_spring2017.pdf|QuickCheck для Kotlin]]
 +
|style="height:40px; " |
 +
|-
 +
|style="height:40px; " |Явейн Анна
 +
|style="height:40px; " |Ахин Марат
 +
|style="height:40px; " |[[Медиа:Yaveyn_5MIT_spring2017.pdf|Type providers for Kotlin]]
 +
|style="height:40px; " |
 +
|}
  
 
{| class="mw-collapsible mw-collapsed wikitable"
 
{| class="mw-collapsible mw-collapsed wikitable"

Версия 17:04, 1 марта 2018

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

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

Результаты практик, осень 2017-го года
Студент Руководитель Тема практики Материалы
3 курс
Белова Татьяна Близнец Иван Улучшенный алгоритм для (n,3)-MAX-SAT
Богомолов Егор Мелешко Дмитрий Выравнивание последователþностей на графы метагеномных сборок
Веселов Иван Рассохин Владислав Улучшение поддержки языка Windows Batch Scripting (.cmd/.bat) в IntelliJ-based IDEs
Винниченко Максим Шлемов Александр Speed-up VJ Finder
Гусев Андрей Вяткина Кира Анализ возможностей применения top-down методов деконволюции к данным bottom-up масс-спектрометрии высокого разрешения
Жидков Николай Служаев Евгений Aircraft conflict resolution
Кайсин Илья Подхалюзин Александр Распределенный статистический анализ
Кощенко Екатерина Баталов Евгений HDFS crash tests
Лобанов Артем Брыксин Тимофей Прогнозирование ошибок методами машинного обучения
Плющенко Даниил Горшков Юрий Анализ ошибок SPAdes
Сазанович Никита Козлов Андрей XML literals support in Scala Plugin
Свидченко Олег Брыксин Тимофей Анализ программного кода методами машинного обучения
Смирнов Даниил Москвин Денис Население типов в просто типизированном лямбда-исчислении
Софронова Анастасия Соколов Дмитрий Оценки на размер доказательств для невыполнимых формул, кодирующих задачу о совершенном паросочетании
Тонких Андрей Мальковский Николай Average TimeSync: a consensus-based protocol for time synchronization in wireless sensor networks
Федорова Анна Вяткина Кира Выявление новых изоформ токсичных протеинов из протеома ядовитых змей
Шавкунов Михаил Брыксин Тимофей Отображение свойств элементов на диаграмме в Web modeling project
Щербин Егор Мелешко Дмитрий Алгоритмы для поиска полиморфизмов в графах геномных сборок
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=14869»