В соответствии с Федеральным законом от 29 декабря 2012 г. № 273-ФЗ
«Об образовании в Российской Федерации» подготовка
научно-педагогических кадров в аспирантуре относится к третьему
уровню высшего образования. Программа третьего уровня высшего
образования завершается государственной итоговой аттестацией,
выдается документ о получении образования в аспирантуре и
присваивается квалификация «Исследователь.
Преподаватель-исследователь»
Цель аспирантуры - создания аспирантам условий для
приобретения необходимого для осуществления профессиональной
деятельности уровня знаний, умений, навыков, опыта деятельности
и подготовки к защите научно-квалификационной работы
(диссертации) на соискание ученой степени кандидата наук.
| № |
Ф.И.О. |
Год рожд. |
Дата поступ. |
Дата окончан. |
Спец-ть |
Н/руководитель |
Тема |
| 1 |
Артамонова Е.В. |
1972 |
24.10.14 |
23.10.18 |
05.13.11 |
Марчук А.Г. |
Задача поиска информации посредством генерации структурных
аннотаций |
| 2 |
Ахмадеева И.Р. |
1991 |
02.10.15 |
01.10.19 |
05.13.11 |
Загорулько Ю.А. |
Методы поиска и извлечения информации о научной деятельности
для интеллектуальных научных интернет-ресурсов |
| 3 |
Белошапко Г.А. |
1991 |
02.10.15 |
01.10.19 |
05.13.11 |
Непомнящий В.А. |
Анализ и верификация распределенных систем с помощью систем
Петри высокого уровня |
| 4 |
Бручес Е.П. |
1994 |
02.10.17 |
01.10.21 |
05.13.17 |
Батура Т.В. |
Исследование методов распознования именованных сущностей и определения отношений между ними |
| 5 |
Верман П.Ю. |
1992 |
02.10.17 |
01.10.21 |
05.13.11 |
Мигинский Д.С. |
Оптимизация вычислений в распределенных системах хранения данных |
| 6 |
Данеева Ш.А. |
1991 |
20.10.14 |
19.10.18 |
05.13.11 |
Сидорова Е.А. |
Поиск и анализ научных трендов на материале научных публикаций
разных лет |
| 7 |
Дастай-оол А.А. |
1991 |
01.10.16 |
30.09.20 |
05.13.11 |
Берендеев Е.А. |
Исследование методов анализа и визуализации больших текстовых коллекций |
| 8 |
Денисов М.С. |
1986 |
02.10.17 |
01.10.21 |
05.13.11 |
Шелехов В.И. |
Разработка двухчастного программно-определяемого радиоприемника сигналов ГСП для определения координат с субметровой точностью |
| 9 |
Догонашева Н.В. |
1990 |
01.10.16 |
30.09.20 |
05.13.11 |
Гаранина Н.О. |
Верификация параллельных и распределительных систем с использованием
шаблонов требований |
| 10 |
Ермолина А.О. |
1987 |
01.10.16 |
30.09.20 |
05.13.11 |
Ершов А.Г. |
Методы распознавания и построения аналитических поверхностей для восстановления граничного представления модели |
| 11 |
Ефимова Л.В. |
1980 |
24.10.14 |
23.10.18 |
05.13.11 |
Мурзин Ф.А. |
Системы обработки текста на естественном языке |
| 12 |
Зайцев В.Е. |
|
|
|
05.13.11 |
Марчук А.Г. |
Модели и средства специализации информационных систем |
| 13 |
Калинников П.А. |
1986 |
01.10.16 |
30.09.20 |
05.13.11 |
Мурзин Ф.А. |
Алгоритмы анализа данных и их отображение на мультипроцессорные и распределенные системы |
| 14 |
Князева В.Б. |
1983 |
01.10.16 |
30.09.20 |
05.13.11 |
Касьянов В.Н. |
Многоплатформенный оптимизирующий компилятор с языка Sisal 3.2 для инструментальной среды функционального программирования SFP |
| 15 |
Ковалев А.И. |
1990 |
01.10.14 |
30.09.18 |
05.13.11 |
Сидорова Е.А. |
Разработка методов автоматизированного создания лексико-семантических
словарей и их применения для извлечения информации из текстовых источников |
| 16 |
Кондратьев Д.А. |
1992 |
02.10.15 |
01.10.19 |
05.13.11 |
Промский А.В. |
Расширяемая система верификации Си-программ |
| 17 |
Кондратьева И.Г. |
1986 |
02.10.17 |
01.10.21 |
05.13.11 |
Мигинский Д.С. |
Исследование, анализ и разработка способов построения децентрализованной автономной организации на базе технологии распределенных реестров |
| 18 |
Кугаевский И.А. |
1990 |
01.10.14 |
30.09.18 |
05.13.11 |
Мурзин Ф.А. |
Моделирование акустических сигналов на основе метода разреженного
кодирования |
| 19 |
Никитин Г.И. |
1993 |
01.10.16 |
30.09.20 |
05.13.11 |
Марчук А.Г. |
Методы и технологии машинного ассистирования при решении задач технического творчества |
| 20 |
Осипов М.И. |
1991 |
01.10.14 |
30.09.18 |
05.13.11 |
Тарков М.С. |
Разработка нейроморфных сетей мемристорными соединениями |
| 21 |
Панкратов С.Б. |
1991 |
14.07.14 |
13.07.18 |
05.13.11 |
Касьянов В.Н. |
Автоматизированная генерация тестов для многопоточных расширений
языков программирования |
| 22 |
Пахотнов П.Д. |
1988 |
02.10.17 |
01.10.21 |
05.13.11 |
Штокало Д.Н. |
Алгоритмы машинного обучения, их распараллеливание и применение в задачах компьютерной лингвистики |
| 23 |
Савицкий Ю.В. |
1983 |
29.12.15 |
28.12.19 |
05.13.11 |
Семич Д.Ф. |
Создание механизма анализа поведения алгоритмов для Бигдата |
| 24 |
Самойлова Х.В. |
1993 |
02.10.17 |
01.10.21 |
05.13.11 |
Пальянов А.Ю. |
Компьютерное моделирование нервно-мышечной активности и глоточной нервной системы C.elegans, включая механизмы генерации периодических сигналов |
| 25 |
Стененко А.А. |
1991 |
14.07.14 |
13.07.18 |
05.13.11 |
Непомнящий В.А. |
Разработка и реализация новой версии системы верификации раскрашенных
сетей Петри |
| 26 |
Тимофеев П.С. |
1987 |
01.07.16 |
01.10.19 |
05.13.11 |
Загорулько Ю.А. |
Методы и программные средства коллективной разработки, редактирования, хранения и синхронизации онтологий |
| 27 |
Углянский И.Е. |
1991 |
14.07.14 |
13.07.18 |
05.13.11 |
Бульонков М.А. |
Методы и средства поддержки точной сборки мусора в управляемых
средах исполнения |
| 28 |
Фоминых В.А. |
|
02.10.17 |
30.09.20 |
05.13.11 |
Марчук А.Г. |
Статические и динамические методы оптимизации управления памятью |
| 29 |
Чибесков А.А. |
1985 |
01.10.16 |
30.09.20 |
05.13.11 |
Мурзин Ф.А. |
Обнаружение, локализация и определение параметров движущихся объектов на изображениях с помощью алгоритмов машинного обучения |
| 30 |
Чушкин М.С. |
1991 |
14.07.14 |
13.07.18 |
05.13.11 |
Шелехов В.И. |
Системы дедуктивной верификации предикатных программ |
| 31 |
Шматов А.А. |
1992 |
02.10.17 |
01.10.21 |
05.13.11 |
Штокало Д.Н. |
Алгоритмы и программный инструментарий для поиска молекулярно-генетических маркеров данных высокопроизводительного секвенирования |
| 32 |
Щербина С.А. |
1990 |
14.07.14 |
13.07.18 |
05.13.11 |
Бульонков М.А. |
Алгоритмы и структуры данных для параллельной реализации трассирующих
сборщиков мусора |
| 33 |
Юрганов А.А. |
1992 |
02.10.15 |
01.10.19 |
05.13.11 |
Штокало Д.Н. |
Алгоритмы м программный инструментарий для распространения обработки данных высокопроизводительного секвенирования ДНК и РНК |
| 34 |
Яковенко С.Н. |
1980 |
01.10.16 |
30.09.20 |
05.13.11 |
Пономарев Д.К. |
Методы и алгоритмы автоматического доказательства в инженерии терминологических систем |
