В соответствии с Федеральным законом от 29 декабря 2012 г. № 273-ФЗ
«Об образовании в Российской Федерации» подготовка
научно-педагогических кадров в аспирантуре относится к третьему
уровню высшего образования. Программа третьего уровня высшего
образования завершается государственной итоговой аттестацией,
выдается документ о получении образования в аспирантуре и
присваивается квалификация «Исследователь.
Преподаватель-исследователь»
Цель аспирантуры - создания аспирантам условий для
приобретения необходимого для осуществления профессиональной
деятельности уровня знаний, умений, навыков, опыта деятельности
и подготовки к защите научно-квалификационной работы
(диссертации) на соискание ученой степени кандидата наук.
| № |
Ф.И.О. |
Год рожд. |
Дата поступ. |
Дата окончан. |
Спец-ть |
Н/руководитель |
Тема |
| 1 |
Абрамов Е.П. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Мурзин Ф.А. |
Принятие решений в области кредитования на основе размытой логики Заде и обработки больших данных |
| 2 |
Ахмадеева И.Р. |
1991 |
02.10.2015 |
01.10.2019 |
05.13.11 |
Загорулько Ю.А. |
Методы поиска и извлечения информации о научной деятельности для интеллектуальных научных интернет-ресурсов |
| 3 |
Белошапко Г.А. |
1991 |
02.10.2015 |
01.10.2019 |
05.13.11 |
Непомнящий В.А. |
Анализ и верификация распределенных систем с помощью систем Петри высокого уровня |
| 4 |
Бручес Е.П. |
1994 |
02.10.2017 |
01.10.2021 |
05.13.17 |
Батура Т.В. |
Исследование методов распознования именованных сущностей и определения отношений между ними |
| 5 |
Васяткин Н.В. |
1991 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Сидорова Е.А. |
Автоматизация построения лингвистических моделей и ресурсов для семантической обработки текста |
| 6 |
Верман П.Ю. |
1992 |
02.10.2017 |
01.10.2021 |
05.13.11 |
Мигинский Д.С. |
Оптимизация вычислений в распределенных системах хранения данных |
| 7 |
Денисов М.С. |
1986 |
02.10.2017 |
01.10.2021 |
05.13.11 |
Шелехов В.И. |
Разработка двухчастного программно-определяемого радиоприемника сигналов ГСП для определения координат с субметровой точностью |
| 8 |
Ермолина А.О. |
1987 |
01.10.2016 |
30.09.2020 |
05.13.11 |
Ершов А.Г. |
Методы распознавания и построения аналитических поверхностей для восстановления граничного представления модели |
| 9 |
Ефремова Е.М. |
1988 |
01.10.2018 |
30.09.2022 |
05.13.17 |
Батура Т.В. |
Применение принципов теории риторических структур для автоматизации семантического анализа текстов |
| 10 |
Зайцев В.Е.
Академотпуск |
|
|
|
05.13.11 |
Марчук А.Г. |
Модели и средства специализации информационных систем |
| 11 |
Зубарев А.Ю. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Вирбицкайте И.Б. |
Исследование взаимосвязей эквивалентностей временных расширений сетей Петри |
| 12 |
Исаченко В.В. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Батура Т.В. |
Построение моделей представления смысла текста на основе методов выделения сущностей |
| 13 |
Йорх И.А. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Бульонков М.А. |
Методы и средства реализации смешанной парадигмы исполнения программ в управляемых средах |
| 14 |
Козлов А.А. |
1995 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Апанович З.В. |
Исследование систем анализа и визуализации для кросс-языковой идентификации авторов научных публикаций
|
| 15 |
Комиссаров А.В. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Мигинский Д.С. |
Модели, алгоритмы, программные компоненты интеллектуальной системы формирования сценариев обработки данных |
| 16 |
Кондратьев Д.А. |
1992 |
02.10.2015 |
01.10.2019 |
05.13.11 |
Промский А.В. |
Расширяемая система верификации Си-программ |
| 17 |
Кондратьева И.Г.
Академотпуск |
1986 |
02.10.2017 |
01.10.2021 |
05.13.11 |
Мигинский Д.С. |
Исследование, анализ и разработка способов построения децентрализованной автономной организации на базе технологии распределенных реестров |
| 18 |
Никитин Г.И. |
1993 |
01.10.2016 |
30.09.2020 |
05.13.11 |
Марчук А.Г. |
Методы и технологии машинного ассистирования при решении задач технического творчества |
| 19 |
Пахотнов П.Д. |
1988 |
02.10.2017 |
01.10.2021 |
05.13.11 |
Штокало Д.Н. |
Алгоритмы машинного обучения, их распараллеливание и применение в задачах компьютерной лингвистики |
| 20 |
Русских Н.Е. |
1992 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Мигинский Д.С. |
Исследование применимости глубокого обучения с подкреплением в задачах топологического характера |
| 21 |
Савицкий Ю.В. |
1983 |
29.12.2015 |
28.12.2019 |
05.13.11 |
Семич Д.Ф. |
Создание механизма анализа поведения алгоритмов для Бигдата |
| 22 |
Самойлова Х.В. |
1993 |
02.10.2017 |
01.10.2021 |
05.13.11 |
Пальянов А.Ю. |
Компьютерное моделирование нервно-мышечной активности и глоточной нервной системы C.elegans, включая механизмы генерации периодических сигналов |
| 23 |
Тимофеев П.С. |
1987 |
01.07.2016 |
01.10.2019 |
05.13.11 |
Загорулько Ю.А. |
Методы и программные средства коллективной разработки, редактирования, хранения и синхронизации онтологий |
| 24 |
Трошков С.Н. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Марчук А.Г. |
Разработка программных средств для обработки больших данных в графовых базах данных |
| 25 |
Фирсов А.Б. |
1994 |
01.10.2018 |
30.09.2022 |
05.13.11 |
Титов И.И. |
Выявление скрытых связей в базах данных научных публикаций |
| 26 |
Фоминых В.А.
Академотпуск |
|
02.10.2017 |
30.09.2020 |
05.13.11 |
Марчук А.Г. |
Статические и динамические методы оптимизации управления памятью |
| 27 |
Чибесков А.А.
Академотпуск |
1985 |
01.10.2016 |
30.09.2020 |
05.13.11 |
Мурзин Ф.А. |
Обнаружение, локализация и определение параметров движущихся объектов на изображениях с помощью алгоритмов машинного обучения |
| 28 |
Шматов А.А. |
1992 |
02.10.2017 |
01.10.2021 |
05.13.11 |
Штокало Д.Н. |
Алгоритмы и программный инструментарий для поиска молекулярно-генетических маркеров данных высокопроизводительного секвенирования |
| 29 |
Юрганов А.А. |
1992 |
02.10.2015 |
01.10.2019 |
05.13.11 |
Штокало Д.Н. |
Алгоритмы м программный инструментарий для распространения обработки данных высокопроизводительного секвенирования ДНК и РНК |
| 30 |
Яковенко С.Н.
Академотпуск |
1980 |
01.10.2016 |
30.09.2020 |
05.13.11 |
Пономарев Д.К. |
Методы и алгоритмы автоматического доказательства в инженерии терминологических систем |
