students

2023

[PhD] Носкова Екатерина Эдуардовна. Методы построения моделей демографических историй. Диссертация на соискание ученой степени кандидата технических наук. 2023. [Научный руководитель: Ульянцев В.И.] [thesis] [presentation]

2022

[MS] Шостина Анастасия Дмитриевна. Разработка методов построения и визуализации геномного контекста в метагеномных данных с использованием Hi-C связей на графах де Брейна. Выпускная квалификационная работа магистра. 2022. [Руководитель: Ульянцев В.И., научный консультант: Иванов А.Б.] [thesis] [presentation]
[MS] Звягинцева Дарья Александровна. Разработка и реализация метода извлечения признаков из графов де Брейна на основе раскраски k-меров и применение машинного обучения для классификации метагеномных образцов. Выпускная квалификационная работа магистра. 2022. [Руководитель: Ульянцев В.И., научный консультант: Иванов А.Б.]
[BS] Шарепо Виктор Владимирович. Применение методов машинного обучения для предсказания и оценки действий участников покерных турниров с малым числом игроков. Выпускная квалификационная работа бакалавра. 2022. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Трапезников Семен Станиславович. Модификации эвристик SAT-решателей для генерации детерминированных конечных автоматов по примерам поведения. Выпускная квалификационная работа бакалавра. 2022. [Руководитель: Ульянцев В.И.] [thesis]

2021

[MS] Иванов Артем Борисович. Методы выделения признаков из данных секвенирования метагенома и применение машинного обучения для классификации воспалительных заболеваний кишечника. Выпускная квалификационная работа магистра. 2021. [Руководитель: Ульянцев В.И.]
[BS] Каменев Юрий Владимирович. Методы улучшения качества биннинга метагеномных контигов при помощи графа сборки. Выпускная квалификационная работа бакалавра. 2021. [Руководитель: Ульянцев В.И., научный руководитель: Коробейников А.И.]
[BS] Устинов Артем Павлович. Применение алгоритмов решения задачи о булевой выполнимости (SAT) к поиску комбинаторных структур, связанных с латинскими квадратами. Выпускная квалификационная работа бакалавра. 2021. [Руководитель: Ульянцев В.И., научный руководитель: Семенов А.А.] [thesis]

2020

[PhD] Закирзянов Илья Тимурович. Методы генерации детерминированных конечных автоматов с использованием сокращения пространства поиска при решении задачи выполнимости. Диссертация на соискание ученой степени кандидата технических наук. 2020. [Научный руководитель: Ульянцев В.И.] [thesis] [presentation]
[MS] Павленко Артем Леонидович. Разработка эволюционных методов декомпозиции задач обращения криптографических функций с использованием статистических тестов и инкрементальных SAT-решателей. Выпускная квалификационная работа магистра. 2020. [Руководитель: Ульянцев В.И., научный консультант: Семенов А.А.] [thesis] [presentation]
[MS] Сушенцев Игорь Михайлович. Поиск оптимального профиля многослойной диэлектрической антенны с использованием эволюционных алгоритмов. Выпускная квалификационная работа магистра. 2020. [Руководитель: Ульянцев В.И., научный консультант: Ладутенко К.С.] [thesis]
[BS] Савон Юлия Константиновна. Разработка алгоритмов работы с формальной моделью диалогов, представленных в виде графов. Выпускная квалификационная работа бакалавра. 2020. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Глухов Евгений Дмитриевич. Разработка методов анализа записей матчей в многопользовательских играх от первого лица. Выпускная квалификационная работа бакалавра. 2020. [Руководитель: Ульянцев В.И.] [thesis] [presentation]
[BS] Звягинцева Дарья Александровна. Изучение фазовых переходов в открытой квантовой оптической системе с помощью методов машинного обучения. Выпускная квалификационная работа бакалавра. 2020. [Руководитель: Ульянцев В.И., научный консультант: Кириенко А.А.] [thesis] [presentation]
[BS] Ионов Дмитрий Павлович. Использование машинного обучения для автоматизированного расширения формальных грамматик, использующихся для классификации текстов в диалоговых системах. Выпускная квалификационная работа бакалавра. 2020. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Хужин Павел Андреевич. Применение байесовской оптимизации для вывода демографической истории популяций по геномным данным. Выпускная квалификационная работа бакалавра. 2020. [Руководитель: Ульянцев В.И., научный руководитель: Носкова Е.Э.] [thesis]

2019

[BS] Иванов Артем Борисович. Алгоритмы сравнительного анализа серий метагеномных образцов с использованием графов де Брейна для библиотек метагеномных чтений. Выпускная квалификационная работа бакалавра. 2019. [Руководитель: Ульянцев В.И.] [thesis] [presentation]
[BS] Мельников Роман Вячеславович. Получение дизайна метаповерхности с заданными функциональными свойствами с использованием эволюционных алгоритмов. Выпускная квалификационная работа бакалавра. 2019. [Руководитель: Ульянцев В.И., научный консультант: Барышникова К.В.] [thesis] [presentation]
[BS] Копелиович Анна Юрьевна. Мета-анализ микробиоты пива. Выпускная квалификационная работа бакалавра. 2019. [Руководитель: Ульянцев В.И., научный руководитель: Тяхт А.В.] [thesis]
[BS] Гафаров Альберт Фаилевич. Разработка биоинформатического инструментария для анализа микробиомных данных из рандомизированных контролируемых исследований. Выпускная квалификационная работа бакалавра. 2019. [Руководитель: Ульянцев В.И., научные консультанты: Тяхт А.В., Одинцова В.Е.] [thesis]

2018

[MS] Носкова Екатерина Эдуардовна. Автоматизация процесса вывода совместной демографической истории нескольких популяций из аллель-частотного спектра. Диссертация на соискание ученой степени магистра. 2018. [Руководители: Ульянцев В.И., Добрынин П.В.] [thesis] [presentation]
[MS] Овсянникова Полина Александровна. Разработка методов формальной верификации промышленных кибер-физических систем в замкнутом цикле. Выпускная квалификационная работа магистра. 2018. [Руководитель: Ульянцев В.И., научный руководитель: Чивилихин Д.С.] [thesis] [presentation]
[MS] Иванов Константин Алексеевич. Разработка алгоритмов работы программно-конфигурируемой сети с распределенным инфраструктурным слоем. Выпускная квалификационная работа магистра. 2018. [Руководитель: Ульянцев В.И., научный консультант: Кузнецов П.В.] [thesis] [presentation]
[BS] Чухарев Константин Игоревич. Применение методов программирования в ограничениях для генерации конечно-автоматных моделей контроллеров в задачах логического управления. Выпускная квалификационная работа бакалавра. 2018. [Руководитель: Ульянцев В.И., научный руководитель: Чивилихин Д.С.] [thesis] [presentation]
[BS] Павленко Артем Леонидович. Эволюционные алгоритмы для криптоанализа генераторов ключевого потока с использованием программных средств решения задачи выполнимости. Выпускная квалификационная работа бакалавра. 2018. [Руководитель: Ульянцев В.И., научный консультант: Семенов А.А.] [thesis] [presentation]
[BS] Давлетшин Руслан Олегович. Разработка эффективных методов учета примеров поведения при синтезе автоматных моделей по темпоральным формулам. Выпускная квалификационная работа бакалавра. 2018. [Руководитель: Ульянцев В.И., научный руководитель: Закирзянов И.Т.] [thesis] [presentation]

2017

[MS] Закирзянов Илья Тимурович. Построение конечных автоматов с применением итеративных программных средств решения задачи о выполнимости. Выпускная квалификационная работа магистра. 2017. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Моклев Вячеслав Владимирович. Нарушение симметрий в графах на основе обхода в ширину. Выпускная квалификационная работа бакалавра. 2017. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Итегулов Данияр Саматович. Автоматическое доказательство теорем на основе Conflict Resolution. Выпускная квалификационная работа бакалавра. 2017. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Качальский Илья Владимирович. Разработка игровых стратегий с применением методов машинного обучения на примере Hearthstone. Выпускная квалификационная работа бакалавра. 2017. [Руководитель: Ульянцев В.И.] [thesis]

2016

[MS] Васильев Артем Тарасович. Алгоритмы локального анализа графа де-Брейна для метагеномных данных. Выпускная квалификационная работа магистра. 2016. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Смыкалов Владимир Павлович. Применение методов машинного обучения для анализа матчей многопользовательских стратегий реального времени. Выпускная квалификационная работа бакалавра. 2016. [Руководитель: Ульянцев В.И.] [thesis]

2015

[BS] Закирзянов Илья Тимурович. Разработка предикатов нарушения симметрии для построения детерминированных конечных автоматов при помощи сведения к задаче о выполнимости. Выпускная квалификационная работа бакалавра. 2015. [Руководитель: Ульянцев В.И.] [thesis]
[BS] Мельник Михаил Валерьевич. Применение методов решения задачи о выполнимости булевой формулы для построения минимальной филогенетической сети. Выпускная квалификационная работа бакалавра. 2015. [Руководитель: Ульянцев В.И.] [thesis]