Список аспирантов ИСИ СО РАН

В соответствии с Федеральным законом от 29 декабря 2012 г. № 273-ФЗ «Об образовании в Российской Федерации» подготовка научно-педагогических кадров в аспирантуре относится к третьему уровню высшего образования. Программа третьего уровня высшего образования завершается государственной итоговой аттестацией, выдается документ о получении образования в аспирантуре и присваивается квалификация «Исследователь. Преподаватель-исследователь»

Цель аспирантуры - создания аспирантам условий для приобретения необходимого для осуществления профессиональной деятельности уровня знаний, умений, навыков, опыта деятельности и подготовки к защите научно-квалификационной работы (диссертации) на соискание ученой степени кандидата наук.

Зав. отделом аспирантуры: Романова Светлана Анатольевна
   тел. +7 (383) 3307068, вн. тел. 2336, комната 200.

Список аспирантов ИСИ СО РАН

на 01.01.2017 г.

Ф.И.О. Год рожд. Дата поступ. Дата окончан. Спец-ть Н/руководитель Тема
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 Пономарев Д.К. Методы и алгоритмы автоматического доказательства в инженерии терминологических систем



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).